function FensterDrucken() {
if ((window.print) && (navigator.platform.indexOf("Win")!=-1)) {
document.write('<table border="0" cellspacing="0" cellpadding="0" bgcolor="#000000" width="75%">'
+ '<tr>'
+ '<td>'
+ '<table border="0" cellspacing="1" cellpadding="2" width="100%">'
+ '<tr>'
+ '<td width="3"><img src="imgs/dot.gif" width="3" height="1"></td>'
+ '<td bgcolor="#ffffff" width="100%" nowrap><a href="javascript:window.print();" style="font size:10px;">Seite drucken</a></td>'
+ '</tr>'
+ '</table>'
+ '</td>'
+ '</tr>'
+ '</table>');

}
}