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