func main() var N: int :: cui@input().toInt(&) var ans: int if(N < 15) do ans :: -1 else do ans :: N - 7 end if do cui@print("\{ans}\n") end func