function tick_() {
  var hours, minutes, seconds, ap;
  var intHours, intMinutes, intSeconds, timeString;  var today;
  today = new Date();
  intDay = today.getDay();
  intDate = today.getDate();
  intMonth = today.getMonth();
  intYear = today.getYear();
  intHours = today.getHours();
  intMinutes = today.getMinutes();
  intSeconds = today.getSeconds();
  if (intHours == 0) {
     hours = "24:";
     ap = "";
  } else if (intHours == 12) {
     hours = "12:";
     ap = "";
  } else {
     hours = intHours + ":";
     ap = "";
  }
  if (intMinutes < 10) {
     minutes = "0"+intMinutes;
  } else {
     minutes = intMinutes;
  }
  if (intSeconds < 10) {
     seconds = ":0"+intSeconds+"&nbsp;&nbsp;";
  } else {
     seconds = ":"+intSeconds+"&nbsp;&nbsp;";
  }
  timeString = " "+hours+minutes+seconds;
  var clock = (document.all) ? document.all("Clock") : document.getElementById("Clock");
  clock.innerHTML = timeString;
  setTimeout("tick_();", 1000);
}
  setTimeout("tick_();", 2000);