function fensteroeffnen(aNum1)
{
  top.frames["fensterframe"].location.href=aNum1;
  top.document.getElementById("fenster").style.visibility="visible";
}

function fensterschliessen()
{
  setTimeout('top.frames["fensterframe"].location.href="/dateien/leer.html"', 1);

  top.document.getElementById('fenster').style.visibility='hidden';
}