n = gets.chomp.to_i
if(n < 15)
  puts -1
else
  puts n - 7
end