N = int(input())

def bitcount(n):
    r = 0
    while 0 < n:
        r = r + (n & 1)
        n = n >> 1
    return r

i = 1
while 0 < N:
    i = i + 2
    if bitcount(i) % 3 == 1:
        N = N - 1

for j in reversed(range(31)):
    n = i >> j
    if 1 < n:
        print('5' if n % 2 != 0 else '3', end='')
print()