<!--
//********************************************************************
//
//		A Digital Clock
//
//********************************************************************
// -->
	function displayTime() { 
		var today = new Date();
		var hours = today.getHours();
		var minutes = today.getMinutes();
		var seconds = today.getSeconds();
		minutes = fixTime(minutes);
		seconds = fixTime(seconds);
		var the_time = hours + ":" + minutes + ":" + seconds;
		window.document.the_form.the_text.value = the_time;
		the_timeout= setTimeout('displayTime();',500);
	}

	function fixTime(the_time) {
		if (the_time <10) { the_time = "0" + the_time; }
		return the_time; 
	}