<!--
  obr1=new Image(); obr1.src="css/css_image/czech_1.png";
  obr2=new Image(); obr2.src="css/css_image/english_1.png";
  obr3=new Image(); obr3.src="css/css_image/german_1.png";

function zamen(nazev_obr,novy_obr)
{
 document.images[nazev_obr].src=novy_obr;
}
// -->

