function loadXMLDoc(spanId,url,splash)
	{
		var xmlhttp
		
		if(splash == 1)
			document.getElementById(spanId).innerHTML='<div align="center"><font color=#8E8A8A>LOADING ....</font></div>';
		
		var reg = new RegExp("\\?");
	
		if (reg.test(url))
		  sep = "&";
		else
		  sep = "?";
	
		var now = new Date();
		timestamp = now.getTime();
		
		url = url + sep + "refresh=" + timestamp;
		//alert(url);
	
		function state_Change()
		{
			// if xmlhttp shows "loaded"
			if (xmlhttp.readyState==4)
		  {
		  // if "OK"
			  if (xmlhttp.status==200)
			  {
				  document.getElementById(spanId).innerHTML=xmlhttp.responseText
			  }
			  else
			  {
				  alert("Problem retrieving XML data\nUrl : " + url + "\nError : " +  xmlhttp.statusText)
			  }
		  }
		}
	
	
		// code for Mozilla, etc.
		if (window.XMLHttpRequest)
	  {
		  xmlhttp=new XMLHttpRequest()
		  xmlhttp.onreadystatechange = state_Change;
		  xmlhttp.open("GET",url,true)
		  xmlhttp.send(null)
	  }
		else if (window.ActiveXObject)
		{
			xmlhttp=new ActiveXObject("Microsoft.XMLHTTP")
	    if (xmlhttp)
	    {
		    xmlhttp.onreadystatechange = state_Change;
		    xmlhttp.open("GET",url,true)
		    xmlhttp.onreadystatechange = state_Change
	
		    xmlhttp.send()
	 		}
	  }
	  
	  return 0;
	}