function update_clock () {
	if (! document.layers && ! document.all) return;
	var digital = new Date ();
	var year = digital.getYear ();
	var month = digital.getMonth ();
	var day = digital.getDate ();
	var hours = digital.getHours ();
	var minutes = digital.getMinutes ();
	var seconds = digital.getSeconds ();
	var amOrPm = "AM";
	if (year < 2000) year = year + 1900;
	month ++;
	if (month <= 9) month = "0" + month;
	if (day <= 9) day = "0" + day;
	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 = month + "/" + day + "/" + year + " " + hours + ":" + minutes + ":" + seconds + " " + amOrPm;
	if (document.layers) {
		document.layers.localtime.document.write (dispTime);
		document.layers.localtime.document.close ();
	} else if (document.all) {
		localtime.innerHTML = dispTime;
	}
	setTimeout ("update_clock ()", 1000);
}