A = gets.to_i
puts (A-7 < 1 ? -1 : A-7)