var xmlhttp;
var timer;

function getCurrentTime()
{
xmlhttp=getXmlHttpObject();
if (xmlhttp==null)
  {
  alert ("Browser does not support HTTP Request");
  return;
  }
var url="currentTime.php";
url=url+"?sid="+Math.random(); // this is to ensure we don't get cached page back
xmlhttp.onreadystatechange=stateChanged;
xmlhttp.open("GET",url,true);
xmlhttp.send(null);
timer = self.setTimeout("getCurrentTime()",1000);
}

function stateChanged()
{
  if (xmlhttp.readyState==4)
  {
  document.getElementById("curr_time").innerHTML=xmlhttp.responseText;
  }
}

function getXmlHttpObject()
{
var objXMLHttp=null;
if (window.XMLHttpRequest)
  {
  objXMLHttp=new XMLHttpRequest();
  }
else if (window.ActiveXObject)
  {
  objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP");
  }
return objXMLHttp;
}