if (window.location.search == "?druckversion") {
	document.write('<link rel="stylesheet" type="text/css" href="css/printversion.css" />\n');
} else {
	document.write('<link rel="stylesheet" type="text/css" href="css/common.css" />\n');
}

function printIt () {
	if (window.location.search == "?druckversion") {
		window.print();
	}
}