obr1=new Image(); obr1.src="img/kde01.gif";
 obr2=new Image(); obr2.src="img/ord01.gif";
 obr3=new Image(); obr3.src="img/sluz01.gif";
 obr4=new Image(); obr4.src="img/vybav01.gif";
 obr5=new Image(); obr5.src="img/market01.gif";
 obr6=new Image(); obr6.src="img/obchod1.png";
 obr7=new Image(); obr7.src="img/home01.gif";
 



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