// JavaScript Document
// Mit aktueller Seite identische Links kennzeichnen von www.buerge.biz version 3.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 = 'naviactiv';					// --> Style setzen

			}

			// href mit dem urlStamm vergleichen

			var Ergebnis = urlStamm.search(reg);
			if(Ergebnis != -1){

				document.getElementsByTagName("a")[i].href = '#';								// Link in Anker umwandeln
				document.getElementsByTagName("a")[i].className = 'naviactiv';					// --> Style setzen

			}
		}
	}