function zamen(nazev_obr,novy_obr)
{
  document.images[nazev_obr].src=novy_obr;
}