<!--
  var time = new Date();
  var d = new Date(time);
  function gettimestr() {
    var mins = d.getMinutes();
    if (new String(mins).length < 2)
        mins = "0" + mins;
    var secs = d.getSeconds();
    if (new String(secs).length<2)
        secs = "0" + secs;
    var hrs = d.getHours();
    var a = "am";
    if (hrs == 0)
        hrs += 12;

    else if (hrs >= 12){
        a = "pm";
        if (hrs > 12)
        hrs -= 12;
     }
    var year = d.getYear();
    if (year<1900)
        year += 1900;
    var str = " " + hrs + ":" + mins + ":" + secs + " " + a + " ";
    return str;
  }
  if (document.all)
    document.write("<SPAN style='font-size: 11; color:FFFF99; background-color:000000' ID=timer>" + gettimestr() + "</SPAN>");
  else document.write("<FORM NAME=timercontainer><INPUT style='font-size: 11px' TYPE=TEXT size=12 NAME=timer VALUE='" + gettimestr() + "'></FORM>");

  function updatetimer()
  {
time = new Date();
    d = new Date(time);
    if (document.all)
        document.all["timer"].innerText = gettimestr();
    else document.timercontainer.timer.value = gettimestr();
    setTimeout("updatetimer()",1000);
  }
  setTimeout("updatetimer()",1000);
// -->
