Normal1 = new Image();
	Normal1.src = "img/karte/karte_01.gif";     /* erste Standard-Grafik */
	Highlight1 = new Image();
	Highlight1.src = "img/karte/karte_02.gif"; /* erste Highlight-Grafik */
	Highlight2 = new Image();
	Highlight2.src = "img/karte/karte_03.gif"; /* erste Highlight-Grafik */
	Highlight3 = new Image();
	Highlight3.src = "img/karte/karte_04.gif"; /* erste Highlight-Grafik */
	Highlight4 = new Image();
	Highlight4.src = "img/karte/karte_05.gif"; /* erste Highlight-Grafik */
	Highlight5 = new Image();
	Highlight5.src = "img/karte/karte_06.gif"; /* erste Highlight-Grafik */
	Highlight6 = new Image();
	Highlight6.src = "img/karte/karte_07.gif"; /* erste Highlight-Grafik */
	Highlight7 = new Image();
	Highlight7.src = "img/karte/karte_08.gif"; /* erste Highlight-Grafik */
	Highlight8 = new Image();
	Highlight8.src = "img/karte/karte_09.gif"; /* erste Highlight-Grafik */
	Highlight9 = new Image();
	Highlight9.src = "img/karte/karte_10.gif"; /* erste Highlight-Grafik */
	Highlight10 = new Image();
	Highlight10.src = "img/karte/karte_11.gif"; /* erste Highlight-Grafik */
	Highlight11 = new Image();
	Highlight11.src = "img/karte/karte_12.gif"; /* erste Highlight-Grafik */
	Highlight12 = new Image();
	Highlight12.src = "img/karte/karte_13.gif"; /* erste Highlight-Grafik */
	
	
	/* usw. fuer alle weiteren zu benutzenden Grafiken */
	
	function Bildwechsel (Bildnr, Bildobjekt) {
	  window.document.images[Bildnr].src = Bildobjekt.src;
	}