function print_preview() {
	// Print the page
	window.print();
}