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