function menuhover(){
	var menuelements=document.getElementById("navigation").getElementsByTagName("LI");

	for (var i=0;i<menuelements.length;i++){
		menuelements[i].onmouseover=function(){
			this.className+=" menuhover";
		}
		menuelements[i].onmouseout=function(){
			this.className=this.className.replace(new RegExp(" menuhover\\b"), "");
		}
	}
}

if(window.attachEvent) window.attachEvent("onload",menuhover);