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 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 = "&nbsp;&nbsp;&nbsp;" + hours + ":" + minutes + ":" + seconds + " " + amOrPm;
	
	var months=new Array(13);
					months[1]="Jan";
					months[2]="Feb";
					months[3]="March";
					months[4]="April";
					months[5]="May";
					months[6]="June";
					months[7]="July";
					months[8]="Aug";
					months[9]="Sept";
					months[10]="Oct";
					months[11]="Nov";
					months[12]="Dec";
					var time=new Date();
					var lmonth=months[time.getMonth() + 1];
					var date=time.getDate();
					var year=time.getYear();
					if (year < 2000)    
					year = year + 1900; 
					dispDate = lmonth + " " + date + ", " + year;
					
	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);
	}