num = gets.chomp.to_i
puts num <= 7 ? -1 : num - 7