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