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