\xef\xbb\xbfwhile 1:s=raw_input();print dict(zip('\xb1\xd2r\x02\xd1\x96\x8bYU\x888\x15\x89\x03\xc6\x1b`F','x\x9c\x1d\x8aA\x0e\x80 \x0c\x04\xbf\xd2\xaf\xad\x11\xa56t\x8d@\x0c\xbe\xde\xc2mgv\xd8j\x17\xe3\xd1\xa5\xc1P0\xb1\xe2\xbe\xf9P\x06\x8d9\x9c,\x99\xd5\xafn3\xde\x92\xacp\xcco\xad)\xd2\x86h\xc4\x91C\xf2Q\x1a\x02N\x0eH\x8f\xc4Y4\xa6\xc1\xf1\xe1\x85\xd4\xe4;T\x8a6\xfe7\x092\xb4'.decode('zip').split())).get(chr(hash(s)%214),s)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).