var title;

function go(loc){
	try {
		window.location = loc;
	} catch(e){
		document.location = loc;
	}
	return true;
}

function ajaxget(what, page_title) {
	title = page_title;
	//document.getElementById("Heading").innerHTML = "Loading ...";

	document.getElementById("inner_content").innerHTML = "<center><img src=\"./images/load.gif\"></center>";

	try {
		ajax_http = window.XMLHttpRequest?new XMLHttpRequest(): new ActiveXObject("Microsoft.XMLHTTP");
	} catch (e) {
		alert("Your browser doesn't support AJAX");
	}
	ajax_http.onreadystatechange = ajaxtrig;
	ajax_http.open("GET", "/pages/" + what + ".php");
	ajax_http.send(null);
}

function ajaxtrig() {
	if ((ajax_http.readyState == 4) && (ajax_http.status == 200)) {
		// ajax_http.responseText object contains the response.
		//document.getElementById("Heading").innerHTML = title;
		document.getElementById("inner_content").innerHTML = ajax_http.responseText;
	}
}