// gibt einen Hash mit den Getparmetern zurueck
function get_getparams(){
	var url;
	var get_params = new Array();
	var get_string
	var splitted_url = new Array();
	var help;
	var i;
	// Url holen
	url = document.URL;
	// den Get-Teil der URl Suchen
	help = url.indexOf('?');
	get_string = url.slice(help+1, url.length); // help+1 damit Fragezeichen nicht mit extrahiert wird
	splitted_url = get_string.split('&');
	help = new Array();
	for (i=0; i<splitted_url.length; i++){
		help = splitted_url[i].split('=');
		get_params[ help[0] ] = help[1];
	}
	return get_params;
}
function highlight_menue(get_hash){
	var element;
	element = document.getElementById(get_hash['navi_active']);	
	if(element!=null){
		element.className = 'naviaktiv';
	}
}