function setLondonTime(){
      response_function = function(responseText){
      document.getElementById('london_time').innerHTML="Time in London: "+responseText;
      }
      new HttpRequest().start("/getlondontime.php", response_function);
}
window.setInterval(setLondonTime,60000);