function UpdateClock() {
  if (!document.getElementById) return;
  var theclock=document.getElementById("theclock");
  now = new Date();
  hours=now.getHours();
  mins=now.getMinutes();
  segs=now.getSeconds();
  if (mins < 10) mins= "0" + mins;
  if (segs < 10) segs= "0" + segs;
  theclock.innerHTML = hours + " : " + mins + " : " + segs;
  window.setTimeout("UpdateClock()",1000);  
}