var eindTitel=" | Palet van Leiden";

  function gaNaarSchool() {
    var sE = null, url;
    if(document.getElementById) {
      sE = document.getElementById('schoolLijst');
    } else if(document.all) {
      sE = document.all['schoolLijst'];
    }

    if(sE && (url = sE.options[sE.selectedIndex].value)) {
      location.href = "../../cgi-oic/pagedb.exe/show?no=" + url;
    }
  }