//////////////////////////////////////////////////////////////////////////
// File    : clock.js
// Version : 2.0.0
//////////////////////////////////////////////////////////////////////////

function showTime()
{
	today = new Date();

	objTime = document.all["clock"];

	if (objTime == null) return;
	
	objTime.innerHTML = 
		convert(today.getDate()) + " " +
		toMonth(today.getMonth()) + " " + 
		today.getFullYear() + " " + 
		convert(today.getHours()) + ":" +
		convert(today.getMinutes()) + ":" +
		convert(today.getSeconds()) ;
	
	setTimeout("showTime()", 1000);
}

function toMonth(imth)
{
	monthdesc = new Array("", "Jan", "Feb", "Mar", "Apr", "May", 
	             "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
	return monthdesc[imth + 1];
}

function convert(str)
{
	if(String(str).length == 1)
		return "0" + str;
	else
		return str;
}