// This JavaScript script fixes IE hover bug

<!--//--><![CDATA[//>

<!--
ieHover = function() {
 objs= document.getElementsByTagName("UL");
 for (i=0; i<objs.length; i++) {
  if (objs[i].className=="verticalNavPopOut") {
   var ieEls = document.getElementsByTagName("LI");
   for (var i=0; i<ieEls.length; i++) {
    ieEls[i].onmouseover=function() {
     this.className+=" iehover";
    }
    ieEls[i].onmouseout=function() {
     this.className=this.className.replace(new RegExp(" iehover\\b"), "");
    }
   }
  }
 }
}
window.onload=function() {
	ieHover();
}
//--><!]]>