function emptySearchField() // The onFocus event will clear the 'zoek op trefwoord' text.
{
    if ( document.zoekvenster.keyword.value == "zoek op trefwoord" )
    {
        zoekvenster.keyword.value = "";
    }
}

function CopyKeyword()
{
   /* document.zoekvenster2.keyword2.value = document.zoekvenster.keyword.value; */
   document.zoekvenster.submit();
}


<!--
function Printopdracht() { //v1.0
   alert('Voor een correcte afdruk kunt u het beste uw pagina instelling van uw browser veranderen in landscape.');
   window.print()
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

// Global menu element handle:
///////////////////////////////////////
var LiveMenu = null;

// Global menu timeout handle:
///////////////////////////////////////
var Timeout_ID = null;


function showmenu(elmnt){
  // If DOM1 supported and element exists ...
  if((document.getElementById)&&(document.getElementById(elmnt)!=null)){
    // If this menu is already open ...
    if(LiveMenu==document.getElementById(elmnt)){
      // Do not close it
      clearTimeout(Timeout_ID);
    }
    // Another might still be open ...
    else{
      // If another menu is open ...
      if(LiveMenu!=null){
        // Do not wait, shut it now
        clearTimeout(Timeout_ID);
        hideNow();
      }
    }
    // This is the new 'live' menu, make it visible
    LiveMenu = document.getElementById(elmnt);
    // LiveMenu.style.visibility is
    // initially empty in IE5 until
    // it is assigned by these
    // functions, so must check that
    // it's not null before proceeding...
    if((LiveMenu.style)&&(LiveMenu.style.visibility!=null)){
      LiveMenu.style.visibility = 'visible';
    }
  }
}

// Called by menu handlers to shut
// previous menu immediately
///////////////////////////////////////
function hideNow(){
  if((LiveMenu.style)&&(LiveMenu.style.visibility)){
    LiveMenu.style.visibility = 'hidden';
  }
}

function hidemenu(elmnt){
  // If DOM1 supported and a menu is open ...
  if((document.getElementById)&&(document.getElementById(elmnt)!=null)){
    // Get the current live menu
    LiveMenu = document.getElementById(elmnt);
    // Prepare to shut it in 250 milliseconds
    Timeout_ID = window.setTimeout('hideNow();',250);
  }
}

function stayOpen(elmnt){
  // If menuOver has not been called
  // or the menu is hidden, do nothing
  if((LiveMenu==null)||
     ((LiveMenu.style)&&
      (LiveMenu.style.visibility)&&
      (LiveMenu.style.visibility=='hidden')))return;
  else menuOver(elmnt);
}

//-->