function update() {
	document.forms['form'].submit();
}
function cerca() {
	
	var url = "searchservizi.php?"; // The server-side script
	var tipo = document.getElementById("tiposervizio").value;
	var prov = document.getElementById("provincia").value;
	var comu = document.getElementById("comune").value;
	url = url + "tiposervizio=" + escape(tipo);
	url = url + "&provincia=" + escape(prov);
	url = url + "&comune=" + escape(comu);
	//alert(url); 
	location.href = url
	//window.location.replace(url); 
	//alert(url); 
}