
    <!--

       var timerID;
       var restoreTimerID;
       var clearTimerID;
       var tStart  = null;

       function StartTimer() 
       {
         tStart   = new Date();
         timerID  = setTimeout("UpdateTimer()", 1000);
       }

       function StopTimer()
       {
         if(timerID) 
         {
           clearTimeout(timerID);
           timerID  = 0;
         }
         tStart = null;
       }

       function UpdateTimers() 
       {
         if(timerID) 
         {
           clearTimeout(timerID);
         }

         if (!tStart)
         {
           tStart   = new Date();
         }
         var   tDate = new Date();
         var   tDiff = tDate.getTime() - tStart.getTime();

         tDate.setTime(tDiff);

         minutes = tDate.getMinutes();
         seconds = tDate.getSeconds();

	 if (seconds < 10) 
	 { 
           seconds = '0' + seconds; 
         }

	 if (minutes < 10) 
	 { 
           minutes = '0' + minutes; 
         }

         form1.theTime.value = "   " + minutes + ":" + seconds;
   
         timerID = setTimeout("UpdateTimer()", 1000);
      }


      function UpdateTimer() 
      {
        if(timerID) 
        {
          clearTimeout(timerID);
        }

        if (!tStart)
        {
          tStart   = new Date();
        }
        var   tDate = new Date();
        var   tDiff = tDate.getTime() - tStart.getTime();

        tDate.setTime(tDiff);

        var t = parseInt(tDiff);
        form1.theTime.value = parseInt(tDiff/1000);
   
        timerID = setTimeout("UpdateTimer()", 1000);
      }


      //-->