function menuhover(){
	var menuelements=document.getElementById("menu").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"), "");
		}
	}
}