<!-- SPLASH2javascript copyright by Roeland Luykx
  window.document.write("<select name=\"Search\" onChange=\"query();\">");
  window.document.write("<option value=\"\">----- Selecteren a.u.b. -----</option>");
  for (f=1; f<tot; f++) {
    btext=db[f][0];
    window.document.write("<option value=\"" + btext + "\">" + btext + "</option>");
  } // for
  window.document.write("</select>");
// -->
 

