<!-- 
    function stop() {
      clearTimeout(tick);
    }

    function usnotime() {
      var h,m,s;
      var v_time="";
      ut.setSeconds(ut.getSeconds() + 1);
      h=ut.getHours();
      m=ut.getMinutes();
      s=ut.getSeconds();
      if(s<=9) s="0"+s;
      if(m<=9) m="0"+m;
      if(h<=9) h="0"+h;
      v_time=h+":"+m+":"+s;
      document.all("rtime").innerHTML=" ore " + v_time;
      tick=setTimeout("usnotime()",1000);
    }
//-->
