if (window.XMLHttpRequest)
  {// code for IE7+, Firefox, Chrome, Opera, Safari
  xmlhttp=new XMLHttpRequest();
  }
else
  {// code for IE6, IE5
  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");
  }
xmlhttp.open("GET","menu.txt",false);
xmlhttp.send();
document.getElementById("menuholder").innerHTML=xmlhttp.responseText;

var main = document.getElementById('menu').getElementsByTagName("LI");
var sub = document.getElementById('submenu').getElementsByTagName("UL");

for (var i=0; i<main.length; i++) {
    main[i].onmouseover=function() {
    subid = this.id.replace("ms", "s");
    document.getElementById(subid).className ="disp";

	for (var j=0; j<sub.length; j++) {
	    if (subid != sub[j].id){sub[j].className = "nodisp"

			}
		}
	}
}

function closesubmenu() {for (var j=0; j<sub.length; j++) {sub[j].className = "nodisp"}}