setupDDIEHack= function() {

if (document.all&&document.getElementById) {
  navRoot = document.getElementById("mainMenu");
  for (i=0; i<navRoot.childNodes.length; i++) {
    node = navRoot.childNodes[i];


    if (node.nodeName=="UL") {
      node.onmouseover=function() {
        this.className+=" over";
      }
      node.onmouseout=function() {
        this.className=this.className.replace(" over", "");
      }
    }
  }
}

}