function ExtPag( page , hor , ver ) {
  extra = 'scrollbars=yes,width=' + hor + ',height=' + ver ;
  win = window.open( page + '.htm' , '' , extra );
  win.focus();
}

function ToonFoto( foto ) {
  elem = document.getElementById('Foto');
  elem.src = "pics/pict-" + foto + ".jpg";
}