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