sfHover=function(){for(var b=document.getElementById("nav").getElementsByTagName("LI"),a=0;a<b.length;a++){b[a].onmouseover=function(){this.className+=" sfhover"};b[a].onmouseout=function(){this.className=this.className.replace(/ sfhover\b/,"")}}};window.attachEvent&&window.attachEvent("onload",sfHover);