function getTime() {
			var time = new Date();
			var days= ["SUN","MON","TUE","WED","THU","FRI","SAT","SUN"]
			var months=new Array("JAN","FEB","MAR","APR","MA","JUN","JUL","AUG","SEP","OCT","NOV","DEC");
			
			time.setTime(time.getTime());
			gmtHours = time.getTimezoneOffset()/60;
			h = time.getUTCHours() - gmtHours;
			ampm = (h>11)?'PM':'AM';
			h=((h < 10) ? " " : "") + h;
			h=((h >12 ) ? h-12 : h);
			m = time.getUTCMinutes();
			m=((m < 10) ? "0" : "") + m;
			s = time.getUTCSeconds();
			s=((s < 10) ? "0" : "") + s;
			mn = time.getMonth();
			dt = time.getDate();
			d = time.getDay();
			y = time.getYear();
			
			return(days[d] + " " + dt + " " + months[mn] + " " + h + ':' + m + " " + ampm);
		}
		function doClock() {
			document.getElementById("theclock").innerHTML = getTime();
			timer = setTimeout("doClock()",1000);
			return true;
		}