function navsearch(topid,topmenuname)
{
	var url;
	sel = document.getElementById("searchresults");
	destination = sel.options[sel.selectedIndex].value;
	if (destination != 0) {
		url = "/dk/" + topid + "/" + topmenuname + "/bygning/"+ destination +"/"; 
		location.href = url;
	}
}