while 1:print raw_input()[1:-1].join('14641')