sfHover=function(){
var sfEls=document.getElementById("ja-cssmenu").getElementsByTagName("li")
for(var i=0;i<sfEls.length;++i){
sfEls[i].onmouseover=function(){
clearTimeout(this.timer)
if(this.className.indexOf("sfhover")==-1)
this.className+="sfhover"}
sfEls[i].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)