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";
var months=new Array(13);
months[1]="Jan"; months[2]="Feb"; months[3]="Mar";
months[4]="Apr"; months[5]="May"; months[6]="Jun";
months[7]="Jul"; months[8]="Aug"; months[9]="Sep";
months[10]="Oct"; months[11]="Nov"; months[12]="Dec";
var month=months[digital.getMonth() + 1];
var date = digital.getDate()
var year=digital.getYear();
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;
if (year < 2000) year = year + 1900;
dispTime = hours + ":" + minutes + ":" + seconds + " " + amOrPm + "<br> " + month + " " + date + ", " + year;

if (document.layers) {
document.layers.clock1.document.write(dispTime);
document.layers.clock1.document.close();
}
else if (document.all) clock1.innerHTML = dispTime;
setTimeout("clock()", 1000);}