// JavaScript Document

function startClock()
{
	setInterval ('updateTime()', 500);
}

function updateTime()
{
	var today = new Date();
	var weekday=new Array(7);
 	weekday[0]="SUNDAY";
 	weekday[1]="MONDAY";
 	weekday[2]="TUESDAY";
 	weekday[3]="WEDNESDAY";
 	weekday[4]="THURSDAY";
 	weekday[5]="FRIDAY";
 	weekday[6]="SATURDAY";
 
	var day;
	day = weekday[today.getDay()];

	var hrs;
	hrs = today.getHours();
	if (hrs < 10) 
		hrs = "0"+ hrs; 

	var mins;
	mins = today.getMinutes();
	if (mins < 10) 
		mins = "0"+ mins; 

	var secs;
	secs = today.getSeconds();
	if (secs < 10) 
		secs = "0"+ secs; 

	var rv;
	rv = day + " | " + hrs + ":" + mins + ":" + secs;

	if (document.getElementById)
	{
		document.getElementById('mytime').innerHTML = rv;
	}
	else if (document.all)
	{
		document.all.mytime.innerHTML = rv;
	}
	else if (document.layers)
	{
		document.layers.mytime.innerHTML = rv;
	}
}