function setOptions(chosen) {
	var selbox = document.zoeken.type;
 	selbox.options.length = 0;
	if (chosen == "") {
		selbox.options[selbox.options.length] = new Option('= alle bouwtypes =','901,902,903,904,905,906,907');
	}
	if (chosen == "1") {
		selbox.options[selbox.options.length] = new
		Option('Alle bedrijfspanden','901,902,903,904,905,906,907');
		selbox.options[selbox.options.length] = new
		Option('Kantoorruimte','902');
		selbox.options[selbox.options.length] = new
		Option('Bedrijfsruimte','903');
		selbox.options[selbox.options.length] = new
		Option('Winkelruimte','901');
		selbox.options[selbox.options.length] = new
		Option('Overige','904,905,906,907');
	}
}