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/,"")}}};
if (window.attachEvent) window.attachEvent("onload", sfHover);