menu=new Image();
menu.src="img/vrch.png";
obr1=new Image();
obr1.src="img/home_on.png";
obr2=new Image();
obr2.src="img/les_on.png";
obr3=new Image();
obr3.src="img/kontakt_on.png";
obr4=new Image();
obr4.src="img/ref_on.png";

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