/* AJAX Dynamic progress-indicator stuff */

function loadurl(dest) { 
//document.getElementById("dimBackgrounLayer").style.display="block";
//document.getElementById("msgOnDimBackground").style.display="block";

if (document.getElementById("progress")!=null){
    document.getElementById("progress").style.visibility="visible";
}
setTimeout('document.images["pbar"].src = "../images/spinner.gif"', 200); 
try {
	xmlhttp = window.XMLHttpRequest?new XMLHttpRequest(): new ActiveXObject("Microsoft.XMLHTTP"); 
	} 
	catch (e) { 
		// browser doesn't support ajax. handle however you want  
	} 
//	xmlhttp.onreadystatechange = triggered; // Uncommenting this line does not work in IE
	xmlhttp.open("GET", dest); 
//	var formParams = getRequestBody(document.mainForm);
	xmlhttp.send(null);
	return false;
} 

function triggered() {
	if ((xmlhttp.readyState == 4) && (xmlhttp.status == 200)) {
	//document.getElementById("dimBackgrounLayer").style.display="none";
	//document.getElementById("msgOnDimBackground").style.display="none";
		document.getElementById("progress").style.visibility="hidden"; 
		setTimeout('document.innerHTML = xmlhttp.responseText',100); 
	} 
}