<!--

function zoom(url) {
	var Win = window.open(url, "displayWindow", 'left=10, top=10, width=10, height=10, resizable=yes, scrollbars=no, menubar=no');
}

function up(url) {
	var Win = window.open(url, "displayWindow", 'left=10, top=10, width=400, height=450, resizable=yes, scrollbars=no, menubar=no');
}

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

-->