<!--
	var ww=0;
	updateClock();
	function updateClock() {
		var time = new Date();
		var hours = time.getHours();
		var minutes = time.getMinutes();
		var seconds = time.getSeconds();
		myDocumentElements=document.getElementsByTagName("body");
		myBody=myDocumentElements.item(0);
		myBodyElements=myBody.getElementsByTagName("small");
		pp=myBodyElements.item(0);

		if (ww == 1) pp.removeChild(tekstZ); else ww=1;

		tekstZ=document.createTextNode(  ((hours < 10) ? '0' + hours : hours) + ':' + ((minutes < 10) ? '0' + minutes : minutes) + ':' + ((seconds < 10) ? '0' + seconds : seconds) );

		pp.appendChild(tekstZ);
		setTimeout("updateClock()",1000);
	}
//-->