// JavaScript Document
var page_time = 0;
  
  function reft(){
    if(page_time<1){page_time+=10;}
    else{page_time+= statistic_interval;}
    refresh_time(page_time);
    setTimeout("reft()", statistic_interval*1000);
  }
  
 
 
  function refresh_time(t){$.php(dir_ws_root+'/modules/statistics/refresh.php', {'tt':t, 'sessionId':sessionId});}
  
  reft();