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 year = digital.getYear();
	var month = digital.getMonth() + 1;
	var day = digital.getDate();
	var dispDate = day + '/' + month + '/' + 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 = hours + ":" + minutes + ":" + seconds + " " + amOrPm + " (GMT + 02:00)";
	if (document.layers) {
		document.layers.pendule.document.write(dispDate + ' ' + dispTime);
		document.layers.pendule.document.close();
	}
	else
		if (document.all)
			pendule.innerHTML = dispDate + ' ' + dispTime;
	setTimeout("clock()", 1000);
}