function navIEHover() {
if (document.all&&document.getElementById) {
navRoot = document.getElementById("primary_nav");
navList = navRoot.getElementsByTagName("LI");
for (i=0; i<navList.length; i++) {
node = navList[i];
if (node.nodeName=="LI") {
node.onmouseover=function() {
this.className+=" over";
  }
  node.onmouseout=function() {
  this.className=this.className.replace
        (" over", "");
   }
   }
  }
 }
}