function mapszoom(nr){
  var link = window.location.pathname;                   // link --> /maps/[map_dir_name]/index.html
  var link = link.replace(/\/maps\//, ""); 
  var link = link.replace(/\/index.html/, ""); 
  var url = "/cgi-bin/mapszoom.pl?map=" + link + "&nr=" + mapszoom.arguments[0] + "&title=" + document.title;
  var zoomwin = window.open(url, "zoom", "width=770,height=480,status=no,menubar=no");
  zoomwin.focus();
}



function mapszoom_old(nr){
  var link = window.location.pathname;
  regx = new RegExp("/"); 
  dir = link.split(regx);        // resultaat .split is browser afhankelijk!!! 1e element dir[0] of dir[1]  !!!
  var zoomwin = window.open("/cgi-bin/mapszoom.pl", "zoom", "width=770,height=480,status=no,menubar=no");
  zoomwin.location.pathname = "/cgi-bin/mapszoom.pl?map=" + dir[1] + "&nr=" + mapszoom.arguments[0] + "&title=" + document.title;
  zoomwin.focus();
}






function resize_iframe(){
  document.getElementById("zijpermaps").height=10;
  document.getElementById('zijpermaps').height=window.frames["zijpermaps"].document.body.scrollHeight;
  document.getElementById('zijpermaps').width =window.frames["zijpermaps"].document.body.scrollWidth;
}