  <!--
  
    var clockID = 0;
	
	function UpdateClock()
	
	  {
		  
	    if (clockID)
		
		  {
		    clearTimeout(clockID);
			clockID = 0;
		  }
		  
	    var tDate = new Date();
        var tUur = tDate.getHours() + '';
		if (tUur.length < 2) { tUur = "0" + tUur; }
		var tMin = tDate.getMinutes() + '';
		if (tMin.length < 2) { tMin = "0" + tMin; }
		var tSec = tDate.getSeconds() + ''; 
		if (tSec.length < 2) { tSec = "0" + tSec; }
		document.theClock.theTime.value = " - " + tUur + ":" + tMin + ":" + tSec;
		clockID = setTimeout("UpdateClock()",1000);
		
	  }
	  
    function StartClock()
	
	  {
	    clockID = setTimeout("UpdateClock()", 500);
	  }
		  
    function KillClock()
	
	  {
		  
	    if (clockID)
		
		  {
		    clearTimeout(clockID);
			clockID = 0;
		  }
		  
	  }
	  
  -->
