/**
     * Called when the search needs to be done.
     */
    function updateTime()
    {
      var xmlHttp = GetXmlHttpObject();
      
      var url = "/_includes/current_time.php";
      url = url + "?sid="+Math.random();
      
      // Define the callback when the response arrives
      xmlHttp.onreadystatechange = function() {
        if (xmlHttp.readyState==4 || xmlHttp.readyState=="complete")
        {
        	document.getElementById("itakeoutCurrentTime").innerHTML = xmlHttp.responseText;
        }
      };
      xmlHttp.open("GET",url,true);
      xmlHttp.send(null);
      
      // Once we have sent the request, set up a timer for 25 secs time to update the time
      setTimeout("updateTime()", 25000);
    }