<Jafet> (echo "#!/usr/bin/python"; echo "import random; w=raw_input().split(\' \'); r=[4,7,8,9,2,13,6]; s=random.randrange(0, len(r)); print \' \'.join(chr(3) + str(r[(i+s)%len(r)]) + w[i] for i in range(len(w)))") > bin/rainwords

#!/usr/bin/python
import sys
import chardet
x = sys.stdin.read()
enc = chardet.detect(x)['encoding']
sys.stdout.write(x.decode(enc).encode('UTF-8'))