// JavaScript Document

pfeil_r = new Image;
			pfeil_r.src = "../images/nav_pfeil_r.gif";
			pfeil_l = new Image;
			pfeil_l.src = "../images/nav_pfeil_l.gif";
			pfeil_u = new Image;
			pfeil_u.src = "../images/nav_pfeil_u.gif";
				
			function bildwechsel (bildname, wechselbild, modus) {
				var var_bildname = bildname;
				var var_wechselbild = "../images/" + wechselbild + ".gif";
				document[var_bildname].src = var_wechselbild;
			}