function close_window() {
    window.close();
}