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


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