function drucken()
{
window.print()
}