// JavaScript Document

<!--

var clockID = 0;

function UpdateClock() {
   if(clockID) {
      clearTimeout(clockID);
      clockID  = 0;
   }

   var tDate = new Date();
   var tHour = tDate.getHours();
   var tMin = tDate.getMinutes();
   var tSec = tDate.getSeconds();
   

   if (tHour<10) { tHour = "0" + String(tHour)};
   if (tMin<10) { tMin = "0" + String(tMin)};
   if (tSec <10) {  tSec = "0"  + String(tSec)};
		 
   document.theClock.theTime.value = "" 
                                   + tHour + ":" 
                                   + tMin + ":" 
                                   + tSec;
   
   clockID = setTimeout("UpdateClock()", 1000);
}
function StartClock() {
   clockID = setTimeout("UpdateClock()", 500);
}

function KillClock() {
   if(clockID) {
      clearTimeout(clockID);
      clockID  = 0;
   }
}

//-->