n = gets.to_i if n.odd? print 7 n -= 3 end puts '1' * (n / 2)