function navi() {
	//dateiname der Seite ermitteln
	var domain = location.href.split('?');
	var x;

	var navi = document.getElementById('navi');
	var navilinkanz = navi.getElementsByTagName("a").length; 

	for(x=0;x<= navilinkanz;x++) {
		var navilink = navi.getElementsByTagName("a")[x].href; 
			if(navilink == domain[0]) {
				navi.getElementsByTagName("a")[x].setAttribute('class','aktiv');
			}
	}
}