var http = false;

			if(navigator.appName == "Microsoft Internet Explorer") {
  				http = new ActiveXObject("Microsoft.XMLHTTP");
			} else {
  				http = new XMLHttpRequest();
			}

		function getfile(value) {
  		http.abort();
  		http.open("GET", value + ".php");
  		http.onreadystatechange=function() {
   		if(http.readyState == 4) {
      			document.getElementById('maintext').innerHTML = http.responseText;
    			}
 			}
  			http.send(null);
		}