function clf(obj) { if (obj.value == "Zoeken...") obj.value = ""; }
function ff(obj) { if (obj.value == "") obj.value = "Zoeken..."; }
function jump(url) { document.location = url; }
function movMenu(obj) { 
	obj.style.backgroundImage="url('pix/subnav_bg.gif')";
	obj.style.cursor = 'pointer';
}
function mouMenu(obj) {
	obj.style.backgroundImage= 'none';
	obj.style.cursor = '';
}