<!--
    function JSClock() {
      var time = new Date();
      var hour = time.getHours();
      var minute = time.getMinutes();
      var second = time.getSeconds();
      var today = time.getDay();
      var mo = time.getMonth();
      var day = time.getDate();
      var year = time.getFullYear();
      var weekday;
      var month;
      var temp;
      var digits = document.getElementById("digits");
      weekday = "Sunday ";
      month = "January ";
      if (today == 1) weekday = "Monday ";
      if (today == 2) weekday = "Tuesday ";
      if (today == 3) weekday = "Wednesday ";
      if (today == 4) weekday = "Thursday ";
      if (today == 5) weekday = "Friday ";
      if (today == 6) weekday = "Saturday ";
      if (mo == 1) month = "February ";
      if (mo == 2) month = "March ";
      if (mo == 3) month = "April ";
      if (mo == 4) month = "May ";
      if (mo == 5) month = "June ";
      if (mo == 6) month = "July ";
      if (mo == 7) month = "August ";
      if (mo == 8) month = "September ";
      if (mo == 9) month = "October ";
      if (mo == 10) month = "November ";
      if (mo == 11) month = "December ";
      temp = "Today is " + weekday + month + day + ", " + year
      temp += " " + ((hour > 12) ? (hour - 12) : hour);
      temp += ((minute < 10) ? ":0" : ":") + minute;
      temp += ((second < 10) ? ":0" : ":") + second;
      temp += (hour >= 12) ? " P.M." : " A.M.";
      setTimeout("JSClock()",1000);
      if (digits != null)
         digits.value = temp;
      }
//-->