/**
 * Opens a pop-up window.
 * @param path The pop-up page URL.
 * @param width The width of the pop-up window in pixels.
 * @param height The height of the pop-up window in pixels.
 */
function popup(path, width, height) {
     window.open(path, "win", "location=0,status=0,toolbar=0,menubar=0,directories=0,resizable=1,scrollbars=1,width=" + width + ",height=" + height);
}