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