function hoverIE(ID) {

    var LI = document.getElementById(ID).firstChild;

    do {
      if (sucheUL(LI.firstChild)) {
        if(window.navigator.systemLanguage && !window.navigator.language) {
          LI.onmouseover=einblenden; LI.onmouseout=ausblenden;
        }
      }
      LI = LI.nextSibling;
    }
    while(LI);
  }

  function sucheUL(UL) {
    do {
      if(UL) UL = UL.nextSibling;
      if(UL && UL.nodeName == "UL") return UL;
    }
    while(UL);
    return false;
  }

  function einblenden() {
    this.className="hoverIE"; this.firstChild.className="hoverIE";
  }
  function ausblenden() {
    this.className=""; this.firstChild.className="";
  }