var timetype = 12;
function timing(){
   var t = new Date();
   var month = t.getMonth();
   var year = t.getYear();
   var day = t.getDate();
   var h = t.getHours();
   var m = t.getMinutes();
   var s = t.getSeconds();
   var months = new Array("", "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec")
   date = months[month] + " " + day + ", " + year + " ";
   mstxt = ((m < 10) ? ":0" : ":") +
      m + ((s < 10) ? ":0" : ":") + s;
   document.timeform.time.value=
      (timetype==24)?(((h<10)?"0":"")+
      h+mstxt):(((h>12)?h-12:h)+mstxt+
      ((h>=12)?" PM":" AM"));
      clock = setTimeout("timing()",1000);
}

function start_timing(input_timetype)
{  timetype = input_timetype;
   timing();
}

