Scanf.scanf "%d" (fun a ->
    Printf.printf "%d\n" @@ if a < 15 then -1 else a - 7
)