function initPage(){var c=document.getElementById("nav");if(c){var a=c.getElementsByTagName("li");for(var b=0;b<a.length;b++){a[b].onmouseover=function(){if(this.className.indexOf("hover")==-1){this.className+=" hover"}};a[b].onmouseout=function(){this.className=this.className.replace(" hover","")}}}}if(window.attachEvent&&!window.opera){window.attachEvent("onload",initPage)};