// JavaScript Document	<script language="JavaScript">	// Bei Link auf aktuelle Seite die CSS Klasse auf aktiv setzen	function highlightCurrentPageLink() {	// Alle Links durchlaufen und pruefen	var anzHrefs = document.getElementsByTagName("a").length;	for (var i = 0; i <= anzHrefs - 1; i++) {	// Link auf aktuelle Seite gefunden, also umsetzen CSS auf aktiv	if (document.getElementsByTagName("a")[i].href == document.location.href) {	var currentClassName = document.getElementsByTagName("a")[i].className;	var newClassName = currentClassName.replace(/inaktiv/,"aktiv");	document.getElementsByTagName("a")[i].className = newClassName;	}	}	}	</script>