<!--

function updateClock ( )
{
  var currentTime = new Date ( );
  
  var currentUnix = (currentTime.getTime ( )/1000).toFixed(1) ;

  var currentYear = currentTime.getFullYear ( );
  var currentMonth = currentTime.getMonth ( )+1;
  var currentDate = currentTime.getDate ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

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


  // Compose the string for display
  var currentTimeString = "GMT " + currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + currentDate + ":" + currentMonth  + ":" + currentYear;
  var currentUnixString = "Unix " + currentUnix;

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

// -->