function clock() {
if (!document.layers && !document.all) return;
var digital = new Date();
var hours = digital.getHours();
var minutes = digital.getMinutes();
var seconds = digital.getSeconds();
/*var amOrPm = "am";
if (hours > 11) amOrPm = "pm";
if (hours > 12) hours = hours - 12; */
if (hours <= 9) zerohour = "0"
if (hours >= 10) zerohour = ""
/*if (hours == 0) hours = 12; */
if (minutes <= 9) minutes = "0" + minutes;
if (seconds <= 9) seconds = "0" + seconds;
dispTime = zerohour + hours + ":" + minutes + ":" + seconds;// + " ";// + amOrPm;
if (document.layers) {
document.layers.pendule.document.write(dispTime);
document.layers.pendule.document.close();
}
else
if (document.all)
pendule.innerHTML = dispTime;
setTimeout("clock()", 1000);
}