from itertools import count

n = int(input())
for dig in count(1):
    for i in range(1 << dig):
        if i & 1 != 0 and i.bit_count() % 3 == 0:
            n -= 1

        if n == 0:
            ans = ""
            for j in range(dig):
                if i & (1 << j) != 0:
                    ans = "5" + ans
                else:
                    ans = "3" + ans

            print(ans)
            exit()