function hodiny() {
	var dnes=new Date(microtime) ;
	var hodin=dnes.getHours();
	var minut=dnes.getMinutes();
	var sekund=dnes.getSeconds();
	cas=((hodin<10) ? "0" : "")+hodin;
	cas+=((minut<10) ? ":0" : ":")+minut;
	cas+=((sekund<10) ? ":0" : ":")+sekund;
	
	var cifernik = document.getElementById('cifernik');
	cifernik.firstChild.nodeValue = cas;
	microtime = microtime + 1000;
	setTimeout("hodiny()",1000);
}