total_num = int(input())


def char_repeat(c, n):
    if n == 0:
        return ""
    elif n == 1:
        return c
    elif n % 2 == 1:
        return c + char_repeat(c, n - 1)
    else:
        cc = char_repeat(c, n // 2)
        return cc * 2


if total_num % 2 == 0:
    print(char_repeat('1', total_num // 2))
else:
    print('7' + char_repeat('1', (total_num - 3) // 2))