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