function drucken(url) {
	url = "/print/?page="+url;
	popup = window.open(url, 'Druckfenster', 'width=800,height=700,toolbar=yes,location=no,directories=no,status=yes,menubar=yes,scrollbars=yes,resizable=yes');
}