<!--
function zamen(nazev,novy_obr)
{
  document.images[nazev].src=novy_obr;
}
// -->