function clock() {
		if (false){
		if (!document.layers && !document.all) return;
		var days = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");		
		var theDate = new Date();
		var datenow = theDate.getDate();
		var monthnow = theDate.getMonth();
		var yearnow = theDate.getFullYear();
		var hours = theDate.getHours();
		var minutes = theDate.getMinutes();
		var seconds = theDate.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 = datenow + "/" + days[monthnow] + "/" + yearnow + "\n" + hours + ":" + minutes + ":" + seconds + " " + amOrPm;
		document.mainform.clock.value = dispTime;
		setTimeout("clock()", 1000);
		}
		}