<!--
function updateClock ( )
{
  var currentTime = new Date ( );
  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );
  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentHours = ( currentHours < 10 ? "0" : "" ) + currentHours;
  // Choose either "AM" or "PM" as appropriate
  var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";
  // Convert the hours component to 12-hour format if needed
  //currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;
  // Convert an hours component of "0" to "12"
  currentHours = ( currentHours == 0 ) ? 12 : currentHours;
  // Compose the string for display
  var currentTimeString = currentHours + ":" + currentMinutes;
  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentTimeString;
  document.getElementById("statusclock").firstChild.nodeValue = currentTimeString;
}
// -->// JavaScript Document


<!--
// current date - from http://rainbow.arch.scriptmania.com/scripts
// Array of day names
function toDay ()
{
var dayNames = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var monthNames = new Array("Jan","Feb","Mär","Apr","Mai","Jun","Jul","Aug","Sep","Okt","Nov","Dec");
var dt = new Date();
var y  = dt.getYear();
// Y2K compliant
if (y < 1000) y +=1900;
var date = (dt.getDate() + "<b>" + monthNames[dt.getMonth()] + "</b>" + y);
document.getElementById("dateNow").firstChild.nodeValue = date;
}
// -->
