function updateClock ( )
{
   var currentTime = new Date()

  var hours = currentTime.getHours()
  var minutes = currentTime.getMinutes()
  var seconds = currentTime.getSeconds()

  if (minutes < 10)
  minutes = "0" + minutes

  if (seconds < 10)
  seconds = "0" + seconds

  // Compose the string for display
  var currentTimeString = hours + ":" + minutes;

  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentTimeString;
}