sfHover=function(){var b=document.getElementById("ja-cssmenu").getElementsByTagName("li");for(var a=0;a<b.length;++a){b[a].onmouseover=function(){clearTimeout(this.timer);if(this.className.indexOf("sfhover")==-1){this.className+="sfhover"}};b[a].onmouseout=function(){this.timer=setTimeout(sfHoverOut.bind(this),20)}}};function sfHoverOut(){clearTimeout(this.timer);this.className=this.className.replace(new RegExp("sfhover\\b"),"")}if(window.attachEvent){window.attachEvent("onload",sfHover)};