function Filtern()
{
	Name = escape(document.getElementById("filter").Name.value.toLowerCase());
	Name=Name.replace('\n','');		
	location.replace("/bedrijvengids-haarlem/l1c1-nl-o1c1-haarlem-p1c1--n1c1-"+Name+".htm");
}