while 1:print(input().translate(' 397'*99)[:10])