function makeRequest(url,func) {
	//Generic request object. Parameters are the URL to request and 
	//the handler function to handle the http request result.
	http_request = false;

	if (window.XMLHttpRequest) { // Mozilla, Safari,...
		http_request = new XMLHttpRequest();
		if (http_request.overrideMimeType) {
			http_request.overrideMimeType('text/xml');
		}
	} else if (window.ActiveXObject) { // IE
		try {
			http_request = new ActiveXObject("Msxml2.XMLHTTP");
		} catch (e) {
			try {
				http_request = new ActiveXObject("Microsoft.XMLHTTP");
			} catch (e) {}
		}
	}
		
	if (!http_request) {
		alert('Giving up :( Cannot create an XMLHTTP instance');
		return false;
	}
	http_request.onreadystatechange = eval(func);
	http_request.open('GET', url, true);
	http_request.send(null);
	
}


function trace(t) {
	var dD = document.getElementById("displayDiv");
	dD.style.display = "block";
	dD.innerHTML += t+"<br />";
	dD.scrollTop = dD.scrollHeight;
}