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