number=gets.to_i
puts (number<10||number%7==0)? -1: number-7