function update_url ($url) {
		document.getElementById("formzahl").action = $url;
		document.formzahl.submit();
}