function print_current_page() { window.print(); }