function fenster(adresse,bezeichnung,attribute) {
  window.open(adresse,bezeichnung,attribute);
}


function bild(datei){
  window.open('/bild?b='+escape(datei), '', 'scrollbars=yes,resizable=yes,width=400,height=300');
}