for(;s=readline();print(unescape(encodeURI(String.fromCharCode(a-j,s[c](1)-(j<4?12-j:j<7?9:j<8?8:j<9?6:20+(j<23)-j)*588)))))s=decodeURI(escape(s)),a=s[c='charCodeAt'](),j=(a-16)%28