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