navHover = function() {
  var lis = document.getElementById('nav').getElementsByTagName('LI');
  for (var i=0; i<lis.length; i++) {
    lis[i].onmouseover=function() {
	this.className+=' iehover';
    }
    lis[i].onmouseout=function() {
	this.className=this.className.replace(new RegExp(' iehover\\b'), '');
    }
  }
}
if (window.attachEvent) window.attachEvent('onload', navHover);
document.write("<!--[if IE]><style type=\"text/css\">#userInclude73 {width:250px;float:right;position:relative;top:-310px;_top:-328px;right:-7px;background-color:gray;border:1px solid black;}</style><![endif]-->");