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');
}


function seitenaufruf(url, seite){
  if (typeof seite != "undefined" && seite)
    window.location.href=url;
  else
    opener.location.href=url;
}