/* AJAX Dynamic progress-indicator stuff */

function loadurl(dest) { 
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; 
	xmlhttp.open("GET", dest); 
	xmlhttp.send(null);
	return false;
} 

function triggered() {
	if ((xmlhttp.readyState == 4) && (xmlhttp.status == 200)) {
		document.getElementById("progress").style.visibility="hidden"; 
		document.innerHTML = xmlhttp.responseText; 
	} 
}

function loadurl1(dest) { 
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 = triggered1; 
	xmlhttp.open("GET", dest); 
	xmlhttp.send(null);
	return false;
} 

function triggered1() {
	if ((xmlhttp.readyState == 4) && (xmlhttp.status == 200)) {
		document.getElementById("progress").style.visibility="hidden"; 
	} 
}