function displayLastUpdateDate(date){
		MyDiv=document.getElementById("lastUpdateDate");
		MyDiv.innerHTML="<H3>"+date+"</H3>";
	}

	function updatePage(){ 
		var xmlhttp=false;
		
		if(window.XMLHttpRequest) // Firefox and others
			xmlhttp = new XMLHttpRequest(); 
		else if(window.ActiveXObject) // Internet Explorer 		
			try {
				xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
			} catch (e) {
				try {
					xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
				} catch (E) {
					xmlhttp = false;
				}
			}
		else if (window.createRequest) { // Other browsers
			try {
				xmlhttp = window.createRequest();
			} catch (e) {
				xmlhttp=false;
			}
		}
		
		// Failure
		if (!xmlhttp)
		{
			alert("Your browser does not support AJAX. Page will not be refreshed.");
			return;
		}
		
		xmlhttp.onreadystatechange=function() {

			if (xmlhttp.readyState==4 && xmlhttp.status==200) 
			{
				// Parse XML doc
				doc=xmlhttp.responseXML;
				root=doc.getElementsByTagName("DateInfo");
				updateDate = doc.getElementsByTagName("UpdateDate").item(0).firstChild.nodeValue;
				
				if (new Date(updateDate)>new Date(date)) // Date has changed -> page has to be reloaded
					location.reload(true);
				else // Only update last check date
				{
					currentDate = doc.getElementsByTagName("CurrentDate").item(0).firstChild.nodeValue;
					displayLastUpdateDate(currentDate);
				}
			}
		}
		xmlhttp.open("GET", "getDateInfoXML.xml?type="+type+"&timezone="+timezone, true);
		xmlhttp.setRequestHeader("Pragma","no-cache");
    xmlhttp.setRequestHeader("If-Modified-Since",new Date(0));
    xmlhttp.setRequestHeader("Cache-Control","no-cache");
    xmlhttp.send(null);
		window.setTimeout("updatePage()", refreshDelay);
	}