document.writeln("function menuFix() {");
document.writeln("");
document.writeln(" var sfEls = document.getElementById(\"nav\").getElementsByTagName(\"li");");
document.writeln("  for (var i=0; i<sfEls.length; i++) {");
document.writeln("    sfEls[i].onmouseover=function() {");
document.writeln("      this.className+=(this.className.length>0? \" \": \"\") + \"show\";");
document.writeln("    }");
document.writeln("    sfEls[i].onmouseout=function() {");
document.writeln("      this.className=this.className.replace(new RegExp(\"( ?|^)show\\b\"), \"");");
document.writeln("    }");
document.writeln("  }");
document.writeln("   ");
document.writeln("}");