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('الأحد','الإثنين','الثلثاء','الإربعاء','الخميس','الجمعة','السَبت');
// Array list of months.
var months = new Array('يناير','فبراير','مارس','أبريل','مايو','يونيو','يوليو','أغسطس','سبتمبر','أكتوبر','نوفمبر','ديسمبر');
// 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 + " (غرينتش)";
if (document.layers) {
document.layers.pendule.document.write(dispTime);
document.layers.pendule.document.close();
}
else
if (document.all)
pendule.innerHTML = dispTime;
setTimeout("clock()", 1000);
}