function heure(ms) {
	dt = new Date(ms);
	h = dt.getHours();
	m = dt.getMinutes();
	s = Math.round(dt.getTime() / 1000) % 60 ;
	if (s < 10) s = "0" + s ;
	if (m < 10) m = "0" + m ;
	res= h + ":" + m + ":" + s ;
	return res ;
}

function duree(ms) {
	if (ms < 0) 
      document.location.reload() ;
	ms = ms % (24*3600000) ;
	s = Math.round(ms / 1000) ;
	m = Math.floor(s / 60 ) ;
	s = s % 60 ;
	h = Math.floor(m / 60 ) ;
	m = m % 60 ;
	h = h % 24 ;
	if (s < 10) s = "0" + s ;
	if (m < 10) m = "0" + m ;
	res = m + ":" + s ;
	if (h > 0) res = h + ":" + res ;
	return res ;
}

function decompt() {
	now = new Date();
	tio=fin.getTime() - now.getTime() + diff ;
	document.prog.decompteur.value = duree(tio) ;
	document.prog.paulo.value = heure(now.getTime() - diff) ;

	if (tio > 0) setTimeout("self.decompt()", tio % 1000);
	else self.status=tio ;
}

function alarm() {
	now = new Date();
   tio=fin.getTime() - now.getTime() + diff ;
   if (tio > 2000) {
      setTimeout("document.location.reload()", tio);
		decompt();
   }
   else {
      setTimeout("document.location.reload()", 2000);
   }
}