// JavaScript Document

<!--


// Accees Keys
function accesskey() {
	document.getElementById('w3').accessKey="w"
}




// External Linking Script Start

function externalLink() { 
	
	if (!document.getElementsByTagName) return; 
 		
	var anchors = document.getElementsByTagName("a"); 
	
	for (var i=0; i<anchors.length; i++) { 
		var anchor = anchors[i]; 
 		if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "external") 
		anchor.target = "_blank"; 
	} 
} 


// Box Expand Collapse Script

function showDiv(id) {
		document.getElementById(id).style.display = '';
	}

function hideDiv(id) {
		document.getElementById(id).style.display = 'none';
	} 


// Date Modified Script

/*==============================================================================

Routine to write date document modified

   Parameters:
        time              True if time is to be displayed else False   

   e.g. 
        <script type="text/javascript">writeDateModified (false);</script>
   or   
        <script type="text/javascript">writeDateModified (true);</script>
        
   Note that if the server has failed to load up the HTTP header field with a 
   parsable date, nothing is written.
   
*/

function writeDateModified (time) {

  var days = new Array;                        // Array to hold day names
  var months = new Array;                      // Array to hold up month names

  // Load up day names
  days[0] = "Sunday";
  days[1] = "Monday";
  days[2] = "Tuesday";
  days[3] = "Wednesday";
  days[4] = "Thursday";
  days[5] = "Friday";
  days[6] = "Saturday";

  // Load up month names
  months[0] = "January";
  months[1] = "February";
  months[2] = "March";
  months[3] = "April";
  months[4] = "May";
  months[5] = "June";
  months[6] = "July";
  months[7] = "August";
  months[8] = "September";
  months[9] = "October";
  months[10] = "November";
  months[11] = "December";

  // Assign date variables with document.lastModified 
  var modDate = new Date(Date.parse(document.lastModified));
  
  // If we have a valid date reformat it.
  if (modDate != 0 && modDate != "Invalid Date") {
  
    // Set up day variable to hold the name of the day
    var day = days[modDate.getDay()];
    
    // ndate variable holds day of month
    var ndate = modDate.getDate();
    
    // Set up month variable to hold the name of the month
    var month = months[modDate.getMonth()];
    
    // Get the year and if it is less than 1000 add 1900 to it.
    var year = modDate.getYear();
    if (year < 1000) year = year + 1900;
    
    // Load up the time variables if required
    if (time) {
      var hour = modDate.getHours().toString();
      if (hour.length == 1) hour = "0" + hour; 
      var minute = modDate.getMinutes().toString();
      if (minute.length == 1) minute = "0" + minute;
      var second = modDate.getSeconds().toString();
      if (second.length == 1) second = "0" + second;
    }
    
    // Display date and time document was last updated.
    document.write(day + " " + ndate + " " + month + " " + year+ "  ");
    if (time) {
      document.write(hour + ":" + minute + ":" + second);
    }
  }
	else document.write("not available");
}

// Search Box






// -->