function oeffne_fenster(datei)
{
var newfenster;
newfenster = window.open(datei,"neufenster");
}