var date_du_jour, heure, minute;
var dossier = "image/caract/";

document.write('<img src="image/caract/0.gif" name="im1" border="0" valign="absmiddle" /><img src="image/caract/1.gif" name="im2" border="0" valign="absmiddle" /><img src="image/caract/sep.gif" name="sep" border="0" valign="absmiddle" /><img src="image/caract/2.gif" name="im3" border="0" valign="absmiddle" /><img src="image/caract/3.gif" name="im4" border="0" valign="absmiddle" />');
	document.im1.src = dossier+"4.gif";
	document.im2.src = dossier+"5.gif";
	document.im3.src = dossier+"6.gif";
	document.im4.src = dossier+"7.gif";
	document.im1.src = dossier+"8.gif";
	document.im2.src = dossier+"9.gif";
function changer_jjs() {
		date_du_jour = new Date();
		heure = date_du_jour.getHours();
		minute = date_du_jour.getMinutes();
		if (heure<10) heure="0"+heure;
		if (minute<10) minute="0"+minute;
		heure = heure+" ";minute = minute+" ";
		heur1=heure.charAt(0);
		heur2=heure.charAt(1);
		min1=minute.charAt(0);
		min2=minute.charAt(1);
       document.im1.src = dossier+heur1+".gif";
       document.im2.src = dossier+heur2+".gif";
       document.im3.src = dossier+min1+".gif";
	   document.im4.src = dossier+min2+".gif";	
       setTimeout("changer_jjs()", 10000);				
}
changer_jjs();