var xmlhttp = false;
function getIndex(getFile) {
if(window.XMLHttpRequest) {
	xmlhttp = new XMLHttpRequest();
}
else if(window.ActiveXObject) {
	try {
	xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
	}
	catch(e) {
	xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
	}
}
if (xmlhttp) {
xmlhttp.onreadystatechange = check;
xmlhttp.open('GET', getFile, true);
xmlhttp.send(null);
}
}
function check() {
if (xmlhttp.readyState == 4 && xmlhttp.status == 200) {
document.getElementById("disp").innerHTML = xmlhttp.responseText;
}
}