s=function(){
var e=document.getElementById("nav").getElementsByTagName("LI");for(var i=0;i<e.length;i++){
e[i].onmouseover=function(){this.className+=" hover"}
e[i].onmouseout=function(){this.className=this.className.replace(new RegExp(" hover\\b"),"")}}}
if(window.attachEvent)window.attachEvent("onload",s);