stdin.ReadLine() 
|> int
|> function | x when x>14 -> x-7 | _ -> -1
|> printfn "%i"