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