// JavaScript Document
// Affichage de l'horloge
function disp_horloge()
	{var date_jour=new Date();
	var heure=date_jour.getUTCHours()+1;
	var min=date_jour.getUTCMinutes();
	if (heure<10) heure="0"+heure;
	if (min<10) min="0"+min;
	document.forms["time"].elements[0].value=heure+":"+min;
	setTimeout("disp_horloge()",12000);
}