let A = stdin.ReadLine().Trim() |> int printfn "%d" <| if A < 15 then -1 else A - 7