import sys

input = sys.stdin.readline

n = int(input())

if n % 2 == 0:
 res = '1' * (n // 2)
else:
 res = '7' + ('1' * (n // 2 - 1))

print(res, flush=True)