function drucke()
	{ window.print(); }