function PrintPage() {
    if (window.print) {
	window.print();
    }
}