#include <stdio.h>

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