function showThumb(volgNr)
  {
   var url_kaart;
   url_kaart = StraatDb[volgNr].urlKaartje;
   document.images.Kampen_thumb.src=url_kaart;
  }