#include <stdio.h>

int main(void) {
	int i;
	char s[100];
	scanf("%s",s);
	printf("%s\n  -> ",s);
	//ここを編集する
	//何行になってもよいです
	for(i=0; s[i]!='\0'; i++){
		if('0'<=s[i]&&s[i]<='9'){
			s[i]=s[i]+24;
		}
	}
	//
	printf("%s\n",s);
	return 0;
}