#include <stdio.h>

int main(void) {
	int i;
	char s[100];
	scanf("%s",s);
	printf("%s\n  -> ",s);
    s[0] = s[0] + 24;
    s[8] = s[8] + 24;
	printf("%s\n",s);
	return 0;
}