over=function(){var sfE=document.getElementById("nav_main").getElementsByTagName("li");for(var i=sfE.length-1;i>=0;i--){sfE[i].onmouseover=function(){this.className+=" over"};sfE[i].onmouseout=function(){this.className=this.className.replace(new RegExp(" over\\b"),"")}}};if(window.attachEvent)window.attachEvent("onload",over);