function getHTTPObject() {
	var xmlhttp = false;
	if (!xmlhttp && typeof XMLHttpRequest!='undefined') 
		xmlhttp = new XMLHttpRequest();
	return xmlhttp;
}

function ReadDomainCheckFile(filename) {
	var xmlhttp=getHTTPObject();
	xmlhttp.open("GET", filename, true);
	xmlhttp.send(null);
	return;
}