var d = document, dE = d.documentElement;

/* Hover support for drop downs in IE (Opera 7.23 also seems to need this too?!)
*******************************************************************************/


function menuHover() {
  	var menuItems = d.getElementById("menu1").getElementsByTagName("LI");
  
  	for (var i = 0, miL = menuItems.length; i < miL; i++) {
  		menuItems[i].onmouseover = function() {
  			this.className = "mnhover";
  		}
  		menuItems[i].onmouseout = function() {
  			this.className = "";
  		}
  
  	}
}
  
  /* Perform on page load/unload
  *******************************************************************************/
  
window.onload = function(e) {
  	if (d.getElementById) {
  		if (d.all) {
  			menuHover();
  		}
  	}
}