navHover=function(){var b=document.getElementById("navmenu").getElementsByTagName("LI");for(var a=0;a<b.length;a++){b[a].onmouseover=function(){this.className+=" iehover"};b[a].onmouseout=function(){this.className=this.className.replace(new RegExp(" iehover\\b"),"")}}};if(window.attachEvent)window.attachEvent("onload",navHover)