/*supporting feature for navigation*/
navHover = function () {
 var element = document.getElementById("nav");
 if (element) {
  var nehElements = element.getElementsByTagName("LI");
  for (var i=0; i < nehElements.length; i++) {
   nehElements[i].onmouseover = function() {
    this.className += " nehhover";
   }
   nehElements[i].onmouseout = function() {
    this.className = this.className.replace(new RegExp(" nehhover\\b"), "");
   }
  }
 }

}

if (window.attachEvent) {
 window.attachEvent("onload", function () 
  {
   navHover();
  }
 );
}