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