// JavaScript Document

		image1 = new Image();
		image1.src = "../bilder-uebersetzungen/menu/1r.jpg";
		
		image2 = new Image();
		image2.src = "../bilder-uebersetzungen/menu/2<? echo $re; ?>r.jpg";
		
		image3 = new Image();
		image3.src = "../bilder-uebersetzungen/menu/3<? echo $re; ?>r.jpg";
		
		image4 = new Image();
		image4.src = "../bilder-uebersetzungen/menu/4<? echo $re; ?>r.jpg";
		
		image5 = new Image();
		image5.src = "../bilder-uebersetzungen/menu/5<? echo $re; ?>r.jpg";


	function einblenden(div) {
		with(document.getElementById(div).style){
			if(display=="none"){
			  display="inline";
			}
			else{
			  display="none";
			}
		  }
		}