function goto_export()
{
	var selectedIndex = document.form1.to.selectedIndex;
	{
	var selection
	= document.form1.to.options[selectedIndex].value;
	self.location= selection;
	}
}

function Seite_aufrufen ()

{
  var index, inhalt;
  index=window.document.Webseiten.auswaehlen.selectedIndex;
  inhalt=window.document.Webseiten.auswaehlen.options[index].value;
  parent.location.href=inhalt;

}