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