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