Printf.printf "%d\n" @@ read_int() / 2 * 2 + 1