// This toggle the extra search fields
function resettoggle(id) {
var e = document.getElementById(id);
e.style.display = 'none';
}

function toggle_visibility(id) {
var e = document.getElementById(id);
if(e.style.display == 'none')
e.style.display = 'block';
else
e.style.display = 'none';
}
var ZoekBoxHasFocus = false;

function SetZoekBoxFocus(Bool)
{ 
	ZoekBoxHasFocus = Bool 
}
function VulZoekBox(ZoekTekst)
{ 
	if (ZoekBoxHasFocus != true) 
		document.getElementById("NederlandseProvincie").innerHTML=ZoekTekst;
}
function LeegZoekBox()
{
	document.getElementById("NederlandseProvincie").innerHTML="Nederland";
}