function openEditWin(Datei,Zeilen)
{
	if (Zeilen < 10)
	{
		Pixel = Zeilen * 28 + 90;
		EditFenster = window.open(Datei,"EditFenster","width=540,height="+Pixel+",location=no,menubar=no,status=no,scrollbars=no,resizable=yes");
	}
	else
	{
		Pixel = Zeilen * 16 + 198;
		EditFenster = window.open(Datei,"EditFenster","width=674,height="+Pixel+",location=no,menubar=no,status=no,scrollbars=no,resizable=yes");
	}
	EditFenster.focus();
}

function reloadMainWin(Datei)
{
	HauptFenster = window.open(Datei,"HauptFenster");
	HauptFenster.focus();
	this.window.close();
}

function resizeEditWin(Zeilen)
{
	Pixel = Zeilen * 28 + 90;
	this.window.resizeTo( 540, Pixel );
}