function Filtern()
{
	Ort = escape(document.getElementById("filter").Ort.value.toLowerCase());
	PLZ = escape(document.getElementById("filter").PLZ.value.substr(0,4));
	Name = escape(document.getElementById("filter").Name.value.toLowerCase());


	Name=Name.replace('\n','');
		
	location.replace("http://www.cylex-bedrijvengids-nederland.nl/bedrijvengids-nederland/l1c1-nl-o1c1-"+Ort+"-p1c1-"+PLZ+"-n1c1-"+Name+".htm");
}