function switchLang() {
lang = document.getElementById('language').value;
	if (window.location.search != '?lang=' + lang){
		curURL = window.location.href;
		curURL = curURL.replace(/\?lang=(.*)&/, "");
		curURL = curURL.replace("php?", "php"); 
		newURL = curURL.replace("php", "php?lang=" + lang + "&");				
		window.location = newURL;
	}
}