function DoAjax(url) {
	if(window.XMLHttpRequest) // FIREFOX
		xhr_object = new XMLHttpRequest();
	else if(window.ActiveXObject) // IE
		xhr_object = new ActiveXObject("Microsoft.XMLHTTP");
	else
		return(false);	
	
	xhr_object.open("GET", '/ajax/'+url, false);
	xhr_object.send(null);	
	if(xhr_object.readyState == 4)
		return xhr_object.responseText;
	else
		return "<div class=\"red_box\">This Operation cannot be performed for the moment</div>";
}

function GetId(id) {
	if(document.getElementById) // standardised method first
		return document.getElementById(id);
	else if(document.all)
		return document.all[id];
	else if(document.layers)
		return document.layers[id];
	else
		return null;
}