function switchLanguage(lang) {
  window.location.href = "engadin.php?page=" + actual_page + "&language=" + lang;
}

function setResultIds(arr) {
  alert(arr);
  search_result_ids = arr;
}

/*function hideShowBackSearchDiv(show){
	if(show){
		document.getElementById('backSearch').style.visibility = "visible";
	}else{
		document.getElementById('backSearch').style.visibility = "hidden";
	}
}*/