function setMenuSelection(strParameter) {
	
	// Menselektion setzen
	if (!(strParameter)) {
		strParameter = location.pathname;
		strParameter = strParameter.substring(1,strParameter.lastIndexOf("."));
		strParameter = strParameter.substring(strParameter.lastIndexOf("/")+1);
		if (strParameter == "") { strParameter = "index";}
	}
	
	if (document.getElementById("mn_" + strParameter)) {
		document.getElementById("mn_" + strParameter).className = "selected";
	}
}