A=gets.to_i
ans = A < 15 ? -1 : A - 7
puts ans