function clock() {
  if (!document.layers && !document.all) return;
  var digital = new Date();
  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 = 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);
}