// JavaScript Document

function open_popup(page, details, width, height) {
    window_handle = window.open(page, 'zooming', details, 'popupName');
    window_handle.close();
    window_handle = window.open(page, 'zooming', details, 'popupName');
	window_handle.resizeTo(width, height);
    return false;
}