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