a = [x for x in range(1000000, 10000000)]
b = []
for x in a:
    if '0' in str(x) or '7' in str(x) or '8' in str(x) or '9' in str(x):
        pass
    else:
        b.append(x)
print(b[135423])