function search() {
	var v1 = document.getElementById("s1").value
	var v2 = document.getElementById("s2").value
	var v3 = document.getElementById("s3").value
					
	if(v1 == "von") v1 = "1";
	if(v2 == "bis") v2 = "";
	
	var url = searchurl + '?size='+ v1 +( (v2 != '')? "-":"" )+ v2;
	if(v3) {
		url = url +'&boroughId='+v3;
	}
	
	window.location.href = url;
}