	hover = function() {
	var menuItems = document.getElementById("menu").getElementsByTagName("LI");
	for (var i=0; i<menuItems.length; i++) {
		menuItems[i].onmouseover=function() {
			this.className+=" hover";
		}
		menuItems[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" hover\\b"), "");
		}
	}
}


if (window.attachEvent) window.attachEvent("onload", hover);
 function hideSelects() {
 	var versionis = navigator.appVersion;
  if(navigator.appName =="Microsoft Internet Explorer" && versionis.indexOf('MSIE 7') == -1) {
	var selects = document.getElementsByTagName("SELECT");
   	for (var i=0; i<selects.length; i++) {
    	var oneSelect = selects[i];
	    oneSelect.style.visibility = 'hidden';
   	}
	}
  }

  function showSelects() {
 	var versionis = navigator.appVersion;
  if(navigator.appName == "Microsoft Internet Explorer" && versionis.indexOf('MSIE 7') == -1) {
   var selects = document.getElementsByTagName("SELECT");
   for (var i=0; i<selects.length; i++) {
    var oneSelect = selects[i];
    oneSelect.style.visibility = 'visible';
   }
   }
  }

// Jump Menu
function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}
//-->

// Get date info

date = new Date();
month = new String;
day = new String;
year = new String;

// Set the variables

var month = date.getMonth();
var day = date.getDate();

// Y2K Fix

function y2k(number) {
return (number < 1000) ? number + 1900 : number;
}

// Get the year and fix the y2k bug with the fixer function

year = y2k(date.getYear())

if (month == "0")
	month = "January";
	else
if (month == "1")
	month = "February";
	else
if (month == "2")
	month = "March";
	else
if (month == "3")
	month = "April";
	else
if (month == "4")
	month = "May";
	else
if (month == "5")
	month = "June";
	else
if (month == "6")
	month = "July";
	else
if (month == "7")
	month = "August";
	else
if (month == "8")
	month = "September";
	else
if (month == "9")
	month = "October";
	else
if (month == "10")
	month = "November";
	else
if (month == "11")
	month = "December";

