N = int(input())
num = []

for i in range(int(N / 2)-1):
    num.insert(0, '1')

if(N%2==0):
    num.insert(0, '1')
else:
    num.insert(0, '7')

print(''.join(num))