<!--
//
// Control of real time of day clock display on the client side page
//

var i_chrs = 0;
var i_cmin = 0;
var i_csec = 0;


function ActivateUpdateCurrentTimeDisplay(i_h,i_m,i_s)
{
 i_chrs = i_h;
 i_cmin = i_m;
 i_csec = i_s;
 UpdateCurrentTimeDisplay();
}


function UpdateCurrentTimeDisplay() 
 { 
  i_csec = i_csec+1;
  if (i_csec >59) 
    {
     i_csec=0;
     i_cmin=i_cmin+1;
     if (i_cmin>59) 
       {
        i_chrs=i_chrs +1;
        i_cmin=0;
       }
    }
  var s_hrs = (i_chrs <=9) ? ('0' + i_chrs + ':') : (i_chrs + ':') ;
  var s_min = (i_cmin <=9) ? ('0' + i_cmin + ':') : (i_cmin + ':') ;
  var s_sec = (i_csec <=9) ? ('0' + i_csec)  : (i_csec) ;
  var s_display= s_hrs + s_min + s_sec; 
  var clocklocation = document.getElementById('CurrentTimeClock');
  clocklocation.innerHTML = s_display;
  setTimeout("UpdateCurrentTimeDisplay()",1000); 
  }  


-->