function clock() {
if (!document.layers && !document.all) return;
var digital = new Date();
var month = digital.getMonth() + 1;
var day = digital.getDate();
var year = digital.getFullYear();
var hours = digital.getUTCHours();
var minutes = digital.getUTCMinutes();
var seconds = digital.getUTCSeconds();
if (hours == 0) hours = "00";
if (minutes <= 9) minutes = "0" + minutes;
if (seconds <= 9) seconds = "0" + seconds;
dispTime = hours + ":" + minutes + ":" + seconds + " " + "UTC";
if (document.layers) {
document.layers.pendule.document.write(dispTime);
document.layers.pendule.document.close();
}
else
if (document.all)
pendule.innerHTML = dispTime;
setTimeout("clock()", 1000);
}