function init ( )
	{
	  timeDisplay = document.createTextNode ( "" );
	  document.getElementById("clock").appendChild ( timeDisplay );
	}
	 
	function updateClock (first)
	{
	  
	  
	  if(first == 1)
	  {
	  	currentTime = new Date ( );
	  	currentTime.setTime(<?=(time() * 1000)?>);
	  }
	  else
	  {
	  	currentTime.setTime(currentTime.getTime() + 1000);
	  }
	  	  
	  var currentHours = currentTime.getHours ( );
	  var currentMinutes = currentTime.getMinutes ( );
	  var currentSeconds = currentTime.getSeconds ( );

	  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
	  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;

	  var currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds;

	  document.getElementById("clock").firstChild.nodeValue = currentTimeString + " London, England " + currentTime.getDate() + "/" + (currentTime.getMonth() + 1) + "/" + currentTime.getFullYear();
	}