function fourdigits(number)	{
	return (number < 1000) ? number + 1900 : number;
}
function fourdigits(number)	{
	return (number < 1000) ? number + 1900 : number;
}
function clock() {
if (!document.layers && !document.all) return;
var digital = new Date();
var hours = digital.getUTCHours();
var minutes = digital.getMinutes();
var seconds = digital.getSeconds();
var days = new Array('Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday');
// Array list of months.
var months = new Array('January','February','March','April','May','June','July','August','September','October','November','December');
// Calculate the number of the current day in the week.
var day_ = ((digital.getDate()<10) ? "0" : "")+ digital.getDate();
// Calculate four digit year.
//var amOrPm = "AM";
//if (hours > 11) amOrPm = "PM";
//if (hours > 12) hours = hours - 12;
//if (hours == 0) hours = 12;
if (minutes <= 9) minutes = "0" + minutes;
if (seconds <= 9) seconds = "0" + seconds;
dispTime =  days[digital.getDay()] + " " +day_+ " "+
         months[digital.getMonth()] + " "+
         (fourdigits(digital.getYear()))+" "+hours + ":" + minutes + ":" + seconds + " (GMT)";
if (document.layers) {
document.layers.pendule.document.write(dispTime);
document.layers.pendule.document.close();
}
else
if (document.all)
pendule.innerHTML = dispTime;
setTimeout("clock()", 1000);
}