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(){this.className+=" hover"};A[B].onmouseout=function(){this.className=this.className.replace(" hover","")}}}}if(window.attachEvent){window.attachEvent("onload",initPage)};