/*
 JavaScript - diverses
*/

// autom. Großes Fenster
if (document.layers){
	var w=screen.availWidth-10;
	var h=screen.availHeight-10;}
	else{
	var w=screen.availWidth+6;
	var h=screen.availHeight+6;}
self.resizeTo(w,h);
self.moveTo(-2,-2);

//Anzeige in neuem Fenster

function fenster(a)
	{
	window.open (a,"fenster","width=760,height=600,left=20,top=20,scrollbars=yes");
	}

function fenster_zu()
	{
	window.close();
	}


//...