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