function GetXmlHttpObject(handler) { 
var objXMLHttp=null
if (window.XMLHttpRequest) {
	objXMLHttp=new XMLHttpRequest()
} else if (window.ActiveXObject){
	objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP")
	}
return objXMLHttp
}

function execFile(filename) {
	xmlHttp=GetXmlHttpObject()
	var url=filename;
	xmlHttp.open("GET",url,true)
	xmlHttp.send(null)
}