jsHover = function() {
    var hEls = document.getElementById(nav).getElementsByTagName(LI);
    for (var i, len=hEls.length; ilen; i++) {
      hEls[i].onmouseover=function() { this.className+= jshover; }
      hEls[i].onmouseout=function() { this.className=this.className.replace( jshover, ); }
    }
  }
  if (window.attachEvent && navigator.userAgent.indexOf(Opera)==-1) window.attachEvent(onload, jsHover);