<!--
function mo(element, classnaam){
  element.className = classnaam;
}
function mo_f(element_naam, classnaam){
  document.getElementById(element_naam).className = classnaam;
}
function jva_zoek(){
  var zoekveld = document.frm_zoek.txtZoek.value;
  if (zoekveld!="") 
    document.frm_zoek.submit()
  else {
    alert("U heeft geen zoekcriterium opgegeven.");
	document.frm_zoek.txtZoek.focus();
  }
}
function printhelp() {
  var sClass = document.getElementById("printhelp").className;
  if (sClass == "printhelp_hidden") {
    document.getElementById("printhelp").className = "printhelp_toon"; } 
  else {
	document.getElementById("printhelp").className = "printhelp_hidden"; }
}
-->