function anzeigetext(titel)
		{parent.document.title = titel; }