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