function show_unavi(){
	
		var strVars = window.location.search;
		strVars = strVars.replace("?", "");
		var splitVars = new Array();
		var vars = new Array();
		splitVars = strVars.split("&");
		for (i = 0; i < splitVars.length; i++) {
			var tmp = splitVars[i].split("=");
			var nname = tmp[0];
			vars[nname] = tmp[1];
		}
		
		//falls wir die variable "xyz" haben wollen:
		var sitename = vars["section"];
		
		document.getElementById(sitename).childNodes[0].style.color = "#E5A80B";
		
		document.getElementById(sitename).childNodes[2].style.display = "block";
	}
	
	
	function navi(){
		
		/*var all = document.getElementById("table_all").scrollHeight - 868;
		
		document.getElementById("navi_table2").style.height = all + "px";
		document.getElementById("navi_table3").style.height = all + "px";*/
		
		
		show_unavi();
	}