var the_ram_timer_horloge;

function ram_timer_horloge()
{
	// mise à jour heure
	var maintenant = new Date();
	var minute = maintenant.getMinutes();
	if (minute<10)minute="0"+minute;

	document.getElementById('heure_horloge').innerHTML = maintenant.getHours() + 'H' + minute;

	the_ram_timer_horloge = setTimeout("ram_timer_horloge()", 5000);

	return true;
}