function open_map(){
  win_form = window.open(
    "/map",
    "map_win",
    "width=720,height=720,top=0,left=0,toolbar=no,directories=no,status=yes,menubar=no,scrollbars=yes,resizable=yes,titlebar=yes"
  );
}