var reqMenu;

function getMenuFromServer(theUrl){

	var theLocation=window.location.href;

	//alert(theLocation);



	if( theLocation.lastIndexOf("file:///")>=0 ){

		theLocation =theLocation.substr(0,theLocation.lastIndexOf("/"));

		if( theLocation.lastIndexOf("file:///")>=0 ) theLocation =theLocation.substr(theLocation.lastIndexOf("file:///")+8);		

		theUrl=theLocation+"/"+theUrl;

		obtainResponseMenuLocal(theUrl);

	}else{

		//theUrl=theLocation+"/"+theUrl;

		obtainResponseMenu(theUrl);

	}



}
function obtainResponseMenu(theURL) {

	var url = theURL;

	if (window.XMLHttpRequest) {

		reqMenu = new XMLHttpRequest();

	} else if (window.ActiveXObject) {

		reqMenu = new ActiveXObject("Microsoft.XMLHTTP");

	}

	reqMenu.open("GET", url, true);

	reqMenu.onreadystatechange = callbackMenu;

	reqMenu.send(null);

}



function obtainResponseMenuLocal(theURL) {

	var xml, localfile = theURL;

	if (window.ActiveXObject) {

		xml = new ActiveXObject("Msxml.DOMDocument");

		xml.async = false;

		xml.resolveExternals = false;

		xml.validateOnParse = false;

		xml.load(localfile);

		if (xml.parseError.errorCode != 0) changeMessageMenu(xml.parseError.reason);

	} else if (document.implementation && document.implementation.createDocument) {

		// the user gets a prompt to allow|deny

		netscape.security.PrivilegeManager.enablePrivilege("UniversalBrowserRead");

		xml = document.implementation.createDocument('', '', 'text/xml');

		xml.load(localfile);

		// blah blah code code...

	}



	//alert(xml);

	if (xml) {

		var messageValue = "";

		messageValue=""+xml.documentElement.text;

		changeMessageMenu(messageValue);

	}

}



function callbackMenu() {

	if (reqMenu.readyState == 4) {

		if (reqMenu.status == 200) {

			parseMessageMenu();

		}

	}

}



function parseMessageMenu() {

	var messageValue = "";

	var theResponseXML=reqMenu.responseXML;

	//alert(theResponseXML);

	var theMessageNodeList=theResponseXML.getElementsByTagName("documento")[0].childNodes;			

	if( theMessageNodeList[0].nodeTypedValue == null) messageValue=theMessageNodeList[1].nodeValue;

	else messageValue=(theMessageNodeList[0].nodeTypedValue);

	changeMessageMenu(messageValue);

}



function changeMessageMenu(messageValue){

	var theMessageElement=document.getElementById("menu");
	if(theMessageElement!=null && messageValue!=null){

			theMessageElement.innerHTML=messageValue;

	}

}