n = int(input())

ans = []
while n >= 2:
    ans.append('1')
    n -= 2

if n:
    ans[0] = '7'
print(''.join(ans))