function zoekenplus() {
    var zpns = (navigator.appName == "Netscape");
    var zoekveldvalue='';
    if (zpns){zoekveldvalue=eval('document.layers["zoeken"].document.usersearchform_zp.txt0.value')}
    else {zoekveldvalue=eval('document.usersearchform_zp.txt0.value')}
	zoekveldvalue=cleanValueFromSymbolSigns(zoekveldvalue);
    var dbcodequery='dbcode:(HBB OR BBB OR THESAUR OR ADRES OR ALFABET OR ALF1851 OR PICATHES OR BKVB OR DOCUBOEK OR REPCOL OR REPVEIL OR DBSC OR VERZCAT OR TERMEN)';
     document.searchform_zp.query.value=dbcodequery+' AND ('+ zoekveldvalue+')';
  if (zoekveldvalue != ''){
    document.searchform_zp.submit();
  }
}

// this function changes all specials characters that make the xslt transformer crash
// you could load everything with escaped names, change the query, but then you would alo have to
// return the returned query like this hereunder but then reversed
function cleanValueFromSymbolSigns(zkvldt){
  var strangeSign=new Array();
  var simpleSign=new Array();
  
  //áÁàÀéÉèÈíÍìÌóÓòÒúÚùÙ äÄëËïÏöÖüÜãÃõÕ
  //alert(zkvldt);	
  strangeSign[strangeSign.length]='á';simpleSign[simpleSign.length]='a';
  strangeSign[strangeSign.length]='Á';simpleSign[simpleSign.length]='A';
  strangeSign[strangeSign.length]='à';simpleSign[simpleSign.length]='a';
  strangeSign[strangeSign.length]='À';simpleSign[simpleSign.length]='A';
  strangeSign[strangeSign.length]='é';simpleSign[simpleSign.length]='e';
  strangeSign[strangeSign.length]='É';simpleSign[simpleSign.length]='E';
  strangeSign[strangeSign.length]='è';simpleSign[simpleSign.length]='e';
  strangeSign[strangeSign.length]='È';simpleSign[simpleSign.length]='E';
  strangeSign[strangeSign.length]='í';simpleSign[simpleSign.length]='i';
  strangeSign[strangeSign.length]='Í';simpleSign[simpleSign.length]='I';
  strangeSign[strangeSign.length]='ì';simpleSign[simpleSign.length]='i';
  strangeSign[strangeSign.length]='Ì';simpleSign[simpleSign.length]='I';
  strangeSign[strangeSign.length]='ó';simpleSign[simpleSign.length]='o';
  strangeSign[strangeSign.length]='Ó';simpleSign[simpleSign.length]='O';
  strangeSign[strangeSign.length]='ò';simpleSign[simpleSign.length]='o';
  strangeSign[strangeSign.length]='Ò';simpleSign[simpleSign.length]='O';
  strangeSign[strangeSign.length]='ú';simpleSign[simpleSign.length]='u';
  strangeSign[strangeSign.length]='Ú';simpleSign[simpleSign.length]='U';
  strangeSign[strangeSign.length]='ù';simpleSign[simpleSign.length]='u';
  strangeSign[strangeSign.length]='Ù';simpleSign[simpleSign.length]='U';
  strangeSign[strangeSign.length]='ä';simpleSign[simpleSign.length]='a';
  strangeSign[strangeSign.length]='Ä';simpleSign[simpleSign.length]='A';
  strangeSign[strangeSign.length]='ë';simpleSign[simpleSign.length]='e';
  strangeSign[strangeSign.length]='Ë';simpleSign[simpleSign.length]='E';
  strangeSign[strangeSign.length]='ï';simpleSign[simpleSign.length]='i';
  strangeSign[strangeSign.length]='Ï';simpleSign[simpleSign.length]='I';
  strangeSign[strangeSign.length]='ö';simpleSign[simpleSign.length]='o';
  strangeSign[strangeSign.length]='Ö';simpleSign[simpleSign.length]='O';
  strangeSign[strangeSign.length]='ü';simpleSign[simpleSign.length]='u';
  strangeSign[strangeSign.length]='Ü';simpleSign[simpleSign.length]='U';
  strangeSign[strangeSign.length]='ã';simpleSign[simpleSign.length]='a';
  strangeSign[strangeSign.length]='Ã';simpleSign[simpleSign.length]='A';
  strangeSign[strangeSign.length]='õ';simpleSign[simpleSign.length]='o';
  strangeSign[strangeSign.length]='Õ';simpleSign[simpleSign.length]='O';
  strangeSign[strangeSign.length]='ç';simpleSign[simpleSign.length]='c';
  strangeSign[strangeSign.length]='æ';simpleSign[simpleSign.length]='ae';
  
  


  for (var i = 0; i<strangeSign.length; i++) {
     var start=0;
	 var q=1;
	 while ((start>-1)&&(q<1000)){//q just for safety
	   q++;
       start=zkvldt.indexOf(strangeSign[i]);
	   if (start > -1){
  	     var eerstestuk=zkvldt.substring(0,start);
	     var tweedestuk=zkvldt.substring(start+1,zkvldt.length);
         zkvldt=eerstestuk+simpleSign[i]+tweedestuk;
       }
	 }
  }
  //alert(zkvldt);	 
  return zkvldt;
}