// JavaScript Document
// Mit aktueller Seite identische Links kennzeichnen von www.buerge.biz version 4.0-->
	function navigation(){
		var url = document.location.href;
		var a = url.length - 1;
		if(a >= 0 && url.charAt(a) == "/"){

 			// --> Defaultseite setzen

 			url += "index.htm";	

		};

	// aus der letzten Pfadangabe den Dateihinterteil mit _ Unterstrich abknabbern

			var teile = url.split("/");
			teile[teile.length-1] = teile[teile.length-1].replace(/_.+\.htm/, ".htm");

	// 25.8.06 alles wieder zusammenfügen

			var urlStamm = teile.join("/");
			var z = document.getElementsByTagName("a").length
			for(var i=0;i<z;i++){
				var href = document.getElementsByTagName("a")[i].href.replace(/\.\./g,'.+');
	
				// href mit der tatsächlichen url vergleichen
	
				var reg = new RegExp(href);
		 		var Ergebnis = url.search(reg);
				if(Ergebnis != -1){
	
					document.getElementsByTagName("a")[i].href = '#';							// Link in Anker umwandeln
					document.getElementsByTagName("a")[i].className += 'Activ';					// --> Style setzen
	
			}

			// href mit dem urlStamm vergleichen
			if (urlStamm != url){
				var Ergebnis = urlStamm.search(reg);
				if(Ergebnis != -1){
					document.getElementsByTagName("a")[i].href = '#';							// Link in Anker umwandeln
					document.getElementsByTagName("a")[i].className += 'Activ';					// --> Style setzen
	
				}
			}
		}
	}