function clock() {
if (!document.layers && !document.all) return;
var digital = new Date();
var jours = new Array (7);
jours[1]="Lundi";
jours[2]="Mardi";
jours[3]="Mercredi";
jours[4]="Jeudi";
jours[5]="Vendredi";
jours[6]="Samedi";
jours[7]="Dimanche";
var day = jours[digital.getDay()]
var date = digital.getDate();
var months=new Array(13);
months[1]="Janvier";
months[2]="FŽvrier";
months[3]="Mars";
months[4]="Avril";
months[5]="Mai";
months[6]="Juin";
months[7]="Juillet";
months[8]="Aout";
months[9]="Septembre";
months[10]="Octobre";
months[11]="Novembre";
months[12]="Decembre";
var lmonth=months[digital.getMonth() + 1];
var year = digital.getYear();
if (year < 2000)
year = year + 1900;
var hours = digital.getHours();
var minutes = digital.getMinutes();
var seconds = digital.getSeconds();
if (minutes <= 9) minutes = "0" + minutes;
if (seconds <= 9) seconds = "0" + seconds;
dispTime = day + " " + date + " " + lmonth + " " + year + " - " + hours + " : " + minutes + " : " + seconds;
if (document.layers) {
document.layers.pendule.document.write(dispTime);
document.layers.pendule.document.close();
}
else
if (document.all)
pendule.innerHTML = dispTime;
setTimeout("clock()", 1000);
}