obr1=new Image(); obr1.src="pictures/design/subpage/navig/o_r3_c2.jpg";
  obr2=new Image(); obr2.src="pictures/design/subpage/navig/o_r3_c4.jpg";
  obr3=new Image(); obr3.src="pictures/design/subpage/navig/o_r3_c5.jpg";
  obr4=new Image(); obr4.src="pictures/design/subpage/navig/o_r3_c6.jpg";
  obr5=new Image(); obr5.src="pictures/design/subpage/navig/o_r3_c8.jpg";


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