#include <stdio.h>

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