N = int(input())

sho, amari = divmod(N, 2)

if amari == 0: # 1 をならべる
    ans = ['1'] * sho
else: # 頭だけ7
    ans = ['7']
    ans.extend(['1']*(sho - 1))

print(''.join(ans))