// ajax

	var request;
	var dest;
	  
function processStateChange()
{
	if (request.readyState == 4){
		contentDiv = document.getElementById(dest);
		if (request.status == 200){
			response = request.responseText;
			contentDiv.innerHTML = response;
		} else {
			contentDiv.innerHTML = "Error: Status "+request.status;
		}
	}
}


function loadHTML(URL, destination)
{
	dest = destination;
	if (window.XMLHttpRequest){
		request = new XMLHttpRequest();
		request.onreadystatechange = processStateChange;
		request.open("GET", URL, true);
		request.send(null);
	} else if (window.ActiveXObject) {
		request = new ActiveXObject("Microsoft.XMLHTTP");
		if (request) {
			request.onreadystatechange = processStateChange;
			request.open("GET", URL, true);
			request.send();
		}
	}
}