function lang(sprache) {
	document.getElementById('lang').innerHTML = document.location;
	var str = document.getElementById('lang').innerHTML;
	str2 = str.replace(/lang/gi, "");
	str3 = str2.replace(/=de/gi, "");
	str4 = str3.replace(/=en/gi, "");
	str5 = str4.replace(/=fr/gi, "");
	str6 = str5.replace(/\?/gi, "");
	str7 = str6.replace(/&d=f/gi, "");
	str8 = str7.replace(/&d=s/gi, "");
	str9 = str8.replace(/&d=m/gi, "");
	str10 = str9.replace(/&d=g/gi, "");
	str11 = str10.replace(/&d=b/gi, "");
	document.location = str11 + "?lang=" + sprache;
}