<!--		
                // Mit folgendem Javascript koennen dynamische Buttons mit drei verschiedenen Zustaenden erstellt werden:
		// "off" im Normalzustand, "highlighted" bei mouseover, "on" bei mousedown und
		// "highlighted" bei mouseup angezeigt werden.
		// Wenn ein Button angeklickt (= mousedown + mouseup) wird, bleibt dieser auf
		// "highlighted", alle anderen werden auf "off" gestellt.
		// "return true" ist ist schon integriert.
		// Die verschiedenen Grafiken muessen am Ende dieser Datei angegeben werden mit
		// preload("Image Name im html-Source","Dateiname Aus-Grafik","Dateiname Highlighted-Grafik","Dateiname Ein-Grafik");
		// Beispiel: preload("img1","bt_off.gif","bt_high.gif","bt_on.gif");
		// Beispiel zur Integration in ein HTML-Dokument:
		// <a href="xy.htm" onmouseover="high('img1');" onmouseout="aus('img1');" onmousedown="down('img1');" onmouseup="ein('img1');"><img name="img1" src="button_off.jpg"></a>
		pics = new Array();
		var anz = 0;
		var x;
		var ein_aktuell = "";
		var high_aktuell = "";
		var down_aktuell = "";
		// Später anzuzeigende Images preloaden
		function preload(name,off,high,on)
		{
			pics[anz] = new Array(4);
			pics[anz][0] = name;
			pics[anz][1] = new Image();
			pics[anz][1].src = off;
			pics[anz][2] = new Image();
			pics[anz][2].src = high;
			pics[anz][3] = new Image();
			pics[anz][3].src = on;
			anz++;
		}
		// Highlight-Grafik laden bei mouseover
		function high(name)
		{
			if (high_aktuell != name) // Prüfen, ob Button schon highlighted ist
			{
				if (high_aktuell != "" && high_aktuell != ein_aktuell) // Prüfen, ob alter highlighted Button wieder zurückgesetzt ist
				{
					x = 0;
					while (pics[x][0] != high_aktuell) x++;
					if (document.images[high_aktuell].src != pics[x][1].src) document.images[high_aktuell].src = pics[x][1].src;
				}	
				x = 0;
				while (pics[x][0] != name) x++;
				if (document.images[name].src != pics[x][3].src) // Prüfen, ob Button im angeklickten Zustand ist
				{
					document.images[name].src = pics[x][2].src;
					high_aktuell = name;
				}
			}
			return true;
		}
		
		// Ein-Grafik laden bei mousedown
		function down(name)
		{
			if (down_aktuell != name) // Prüfen, ob Button schon down ist
			{
				if (down_aktuell != "") //Prüfen, ob alter Down-Button wieder zurückgesetzt ist
				{
					x = 0;
					while (pics[x][0] != down_aktuell) x++;
					document.images[down_aktuell].src = pics[x][1].src;
				}					
				x = 0;
				while (pics[x][0] != name) x++;
				document.images[name].src = pics[x][3].src;
				down_aktuell = name;
				high_aktuell = "";
			}
			return true;
		}

		// High-Grafik laden bei mouseup
		function ein(name)
		{
			if (ein_aktuell != "") // Alten angeklickten Button wieder in Aus-Zustand setzen
			{
				x = 0;
				while (pics[x][0] != ein_aktuell) x++;
				document.images[ein_aktuell].src = pics[x][1].src;
			}					
			x = 0;
			while (pics[x][0] != name) x++;
			document.images[name].src = pics[x][2].src;
			down_aktuell = "";
			ein_aktuell = name;
			return true;
		}
		

		// Aus-Grafik laden bei mouseout wenn Grafik nicht im Ein-Status ist
		function aus(name)
		{
			if (name != ein_aktuell) // Prüfen, ob Button im angeklickten Zustand ist
			{
				document.images[name].src = pics[x][1].src;
				high_aktuell = "";
				down_aktuell = "";
			}
			else
			{
				if (name == down_aktuell)
					{
					document.images[name].src = pics[x][2].src;	
					down_aktuell = "";
					}
			}
			return true;
		}
		
		
		
		// ****** Grafik-Dateien angeben ******
		// preload("Image Name im html-Source","Dateiname Aus-Grafik","Dateiname Highlighted-Grafik","Dateiname Ein-Grafik");
		

                   preload("intern","nav_intern.gif","nav_intern_over.gif","nav_intern_over.gif");
                   preload("photos","nav_photos.gif","nav_photos_over.gif","nav_photos_over.gif");
                   preload("gb","nav_gb.gif","nav_gb_over.gif","nav_gb_over.gif");



	//-->
