// JavaScript Document

	function createHTTPRequest() {
	    var 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 http_request;
	}
	
	function replaceTitle(http_request,formid) {
	    if (http_request.readyState == 4) {
            if (http_request.status == 200) {
               document.title = http_request.responseText; 
            } else {
                alert('There was a problem with the title request. Status: '+http_request.status);
            }
        }
	}
	
	function replaceElement(http_request,element) {
		if (http_request.readyState == 4) {
            if (http_request.status == 200) {

				element.innerHTML = http_request.responseText;	
			   
            } else {
                alert("There was a problem with the " + element_id + " request. Status: "+http_request.status);
            }
        }
	}
	
	function replaceElementById(http_request,element_id) {
		if (http_request.readyState == 4) {
            if (http_request.status == 200) {
				//alert('replacing ' + element_id); //+ " with \r\n" + http_request.responseText);
				document.getElementById(element_id).innerHTML = http_request.responseText;
			   
            } else {
                alert("There was a problem with the " + element_id + " request. Status: "+http_request.status);
            }
        }
	}
	
	function replaceText(element_id, element_text) {
		document.getElementById(element_id).innerHTML = element_text;
	}
	
	function replaceWithPage(page,element_id)
	{
		http_request = createHTTPRequest();
		
		http_request.onreadystatechange = function(){ replaceElementById(http_request,element_id); };
		http_request.open("GET",page,true);
		http_request.send(null);
	}
	
	function getText(element_id) {
		return document.getElementById(element_id).innerHTML;
	}
	
	function trim(str) { 
	   str.replace(/^\s*/, '').replace(/\s*$/, ''); 
	   return str;
	} 
	
	function pausecomp(millis)
	{
		var date = new Date();
		var curDate = null;

		do { curDate = new Date(); }
		while(curDate-date < millis);
	}