// Fix menu for IE.
fixMenu = function() {	
	if (document.all && document.getElementById) {
		lis = document.getElementsByTagName("LI");
		for (i = 0; i < lis.length; i++) {
			obj = lis[i];
			/* if (obj.className == "menuBox") { */
			if (obj.className.indexOf("TopLevel") != -1) {
				// alert(obj.innerHTML);			
				obj.onmouseover = function() {
					// alert(this.className);
					this.className += " over";
  			}
  			obj.onmouseout = function() {
  				this.className = this.className.replace(" over", "");
   			}
   		}
  	}
 	}
}
window.onload=fixMenu;