// JavaScript Document
function printPage() 
{ 
print(document);
 }
function fenster1 ()
{ 
	var win;
	win=window.open ("versuch1.htm","versuch1","Width=650,scrollbars=yes");
	
	}
function schliessen ()
{ 
	var win;
	win=window.close ();
	}
function surfto(form)
{	
	var myindex=form.select1.selectedIndex; if (form.select1.options[myindex].value != "0")
	{location=form.select1.options[myindex].value;}}