/** Druckfenster aufmachen **/
var printPopup = null;
var content = null;
var popupContent = null;
function printContent() {
	if (content == null) content = document.getElementById('right');
	if (printPopup == null) printPopup = window.open('print.html', "Druckversion", "width=688,height=400,left=100,top=200");
	if (popupContent = printPopup.document.getElementById('right')) {
		popupContent.innerHTML = content.innerHTML.split('javascript:printContent();').join('javascript:window.print();window.close();" onclick="this.style.display=\'none\'');
		printPopup = content = popupContent = null;
	} else {
		window.setTimeout("printContent()", 1000);
	}
}

var deleteSessionC = true;