i = gets.chomp.to_i

if i < 15
  puts -1
else
  puts i - 7
end