// JavaScript Document

<!--
function drucke(){
	window.print();
} 
//-->