function popup_window (url) {
window.open (url);
}

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