onload=function(){
var obj=XMLRequest();
	obj.onreadystatechange = function(){
		if (obj.readyState == 4 && obj.status == 200){ 
			req=obj.responseText;
			document.getElementById('menu').innerHTML=req;
			}
	}
var URL='../html/menu.html.txt';
obj.open("GET",URL,true);
obj.send(null);
}

function XMLRequest(){
	if(this.XMLHttpRequest){ 
		return new XMLHttpRequest();
	}else {
		return new ActiveXObject("Microsoft.XMLHTTP");
	}
}