var timerID = null;
var timerRunning = false;

function stopclock (){
	if(timerRunning)
		clearTimeout(timerID);
	timerRunning = false;
}

function showtime () {
var thetime=new Date();
var nhours=thetime.getHours();
var nmins=thetime.getMinutes();
var nsecn=thetime.getSeconds();
var nday=thetime.getDay();
var nmonth=thetime.getMonth();
var ntoday=thetime.getDate();
var nyear=thetime.getYear();
var AorP=" ";

if (nmonth==0) 
nmonth = "jan";
if (nmonth==1) 
nmonth = "feb";
if (nmonth==2) 
nmonth = "march";
if (nmonth==3) 
nmonth = "april";
if (nmonth==4) 
nmonth = "may";
if (nmonth==5) 
nmonth = "june"
if (nmonth==6) 
nmonth = "july";
if (nmonth==7) 
nmonth = "aug";
if (nmonth==8) 
nmonth = "sept";
if (nmonth==9) 
nmonth = "oct";
if (nmonth==10) 
nmonth = "nov";
if (nmonth==11) 
nmonth = "dec";

if (nsecn<10)
 nsecn="0"+nsecn;

if (nmins<10)
 nmins="0"+nmins;

if (nday==0)
  nday="sun";
if (nday==1)
  nday="mon";
if (nday==2)
  nday="tue";
if (nday==3)
  nday="wed";
if (nday==4)
  nday="thu";
if (nday==5)
  nday="fri";
if (nday==6)
  nday="sat";



if (nyear<=99)
  nyear= "19"+nyear;

if ((nyear>99) && (nyear<2000))
 nyear+=1900;

document.clock.face.value=nday+" "+ntoday+" "+nmonth+" "+nhours+":"+nmins;
setTimeout('startclock()',1000);
timerRunning = true;

}

function startclock () {
	stopclock();
	showtime();
}