// JavaScript Document

<!--

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

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );
  var currentDay = currentTime.getDate();
  var currentMonth = currentTime.getMonth() + 1;
  var currentYear = currentTime.getFullYear();
  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;
  currentDay = ( currentDay < 10 ? "0" : "" ) + currentDay;
  currentMonth = ( currentMonth < 10 ? "0" : "" ) + currentMonth;  
  // Convert an hours component of "0" to "12"
  currentHours = ( currentHours == 0 ) ? 12 : currentHours;

  // Compose the string for display
  var currentTimeString = currentHours + ":" + currentMinutes;
  var currentDateString = currentDay + "." + currentMonth + "." + currentYear;
  // Update the time display
  document.getElementById("clock").innerHTML = currentTimeString;
  document.getElementById("data").innerHTML = currentDateString;  
}

// -->