window.onload = function(){
  if(document.all && document.getElementById && !(typeof document.body.style.maxHeight != "undefined")){
    // Menu Fix for IE6
    menuRoot = document.getElementById("menu");
    for (i=0; i < menuRoot.childNodes.length; i++){
      node = menuRoot.childNodes[i];
      if (node.nodeName == "LI") {
        node.onmouseover=function() {
          this.className+=" over";
        }
        node.onmouseout=function() {
          this.className=this.className.replace(" over", "");
        }
      }
    }
  }
}