a = gets.chomp.to_i p (a - 7 < 8) ? -1 : a - 7