function upclock()
{
	if (!document.all&&!document.getElementById)
		return 
	thelement=document.getElementById? document.getElementById("clock"): document.all.clock
	var date = new Date();
	var hours = date.getHours();
	var minutes = date.getMinutes();
	var seconds = date.getSeconds();
	
	var currentTime = ((hours < 10) ? "0" : "") + hours;
	currentTime += ((minutes < 10) ? ":0" : ":") + minutes;
	currentTime += ((seconds < 10) ? ":0" : ":") +seconds;
	
	
	thelement.innerHTML= currentTime;
	setTimeout("upclock()",1000);
}