// JavaScript Document by Nick Rigby edited by Derrick Dardano
//Original
/*
startList = function() {
if (document.all&&document.getElementById) {
navRoot = document.getElementById("nav2");
for (i=0; i<navRoot.childNodes.length; i++) {
node = navRoot.childNodes[i];
if (node.nodeName=="LI") {
node.onmouseover=function() {
this.className+=" over";
  }
  node.onmouseout=function() {
  this.className=this.className.replace(" over", "");
   }
   }
  }
 }
}
*/

startList = function() {
if (document.all&&document.getElementById) {
var idArray = new Array();
idArray[0] = "nav";
idArray[1] = "nav2";
idArray[2] = "nav3";
idArray[3] = "nav4";
idArray[4] = "nav5";
idArray[5] = "nav6";
idArray[6] = "nav7";
idArray[7] = "nav8";
idArray[8] = "nav9";
idArray[9] = "nav10";
idArray[10] = "nav11";
idArray[11] = "nav12";
idArray[12] = "nav13";


for(var x=0;x<idArray.length;x++){
	iterateNav(idArray[x]);
}
 }
}

function iterateNav(id){
navRoot = document.getElementById(id);
if(navRoot==null)
	return;
for (i=0; i<navRoot.childNodes.length; i++) {
node = navRoot.childNodes[i];
if (node.nodeName=="LI") {
node.onmouseover=function() {
this.className+=" over";
  }
  node.onmouseout=function() {
  this.className=this.className.replace(" over", "");
   }
   }
  }
}
window.onload=startList;

//javascript page for updating dates
////
/////MODIFIED DATE - general from several javascript tutorial sites
function initArray() {  
      this.length = initArray.arguments.length
      for (var i = 0; i < this.length; i++)
      this[i+1] = initArray.arguments[i]
   }
    var DOWArray = new initArray("Sunday","Monday","Tuesday","Wednesday",
                                "Thursday","Friday","Saturday");
   var MOYArray = new initArray("January","February","March","April",
                                "May","June","July","August","September",
                                "October","November","December");
								
	// get last modified date of the 
// current document.
//
function date_lastmodified()

//************
{
  var lmd = document.lastModified;
  var s   = "Unknown";
  var d1;

  // check if we have a valid date
  // before proceeding
  if(0 != (d1=Date.parse(lmd)))
  {
    s = "" + date_ddmmmyy(new Date(d1));
  }

  return s;
}
//***********							
   var LastModDate = new Date(document.lastModified);