var clockID = 0;

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

   var tDate = new Date();
   
   var hour     = tDate.getHours();
   var minutes  = tDate.getMinutes();
   var seconds  = tDate.getSeconds();
 
   var time = "" + addLeadingZero(hour) + ":" + addLeadingZero(minutes) + ":" + addLeadingZero(seconds);
   document.getElementById("CLOCK_BODY").innerHTML = time;
   
   clockID = setTimeout("UpdateClock()", 1000);
}
function StartClock() {
   clockID = setTimeout("UpdateClock()", 500);
}

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

function addLeadingZero(number)
{
    if (number < 10)
    {
        number = "0" + number;
    }
    
    return number;
}