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

  var currentHours = currentTime.getHours ();
  var currentMinutes = currentTime.getMinutes ();
  var currentMonth = currentTime.getMonth();
  var currentDate = currentTime.getDate();
  var currentYear = currentTime.getFullYear(); 

  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentHours = ( currentHours < 10 ? "0" : "" ) + currentHours;
  currentMonth = ( currentMonth < 10 ? "0" : "" ) + currentMonth;
  currentDate = ( currentDate < 10 ? "0" : "" ) + currentDate;

  // Compose the string for display
  var currentTimeString = currentHours + ":" + currentMinutes;
  var currentTimeDate = currentMonth + "/" + currentDate + "/" + currentYear;

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