<!--

obraz = -1;
cas = 10000;
function rotace_obr() {
obrazky = ["obr/hl1.jpg","obr/hl2.jpg","obr/hl3.jpg","obr/hl4.jpg"];
if (obraz+1==obrazky.length) obraz=0;
else obraz++;
obrazek.src = obrazky[obraz];
window.setTimeout('rotace_obr()',cas);
}

//-->