#include<bits/stdc++.h>

using namespace std;

char ISBN[12],last;
int k=0,sum=0;

int main()
{
	cin>>ISBN;//scanf("%s",ISBN);
	
	for(int i=0;i<=12;i++)
	{
		if(ISBN[i]!='-')
		{
			k++;//计数器 123456......
			sum+=k*(ISBN[i]-'0');//把字符转化成数字 
		} 
	}
	
	sum%=11;
	
	if(sum==10)
		last='X';
	else
		last=sum+'0';//把数字转换为字符 
	
	if(last==ISBN[12])
		cout<<"Right"<<endl;//printf("Right\n");
	else
		{
			ISBN[12]=last;
			cout<<ISBN;//printf("%s\n",ISBN);
		}
	
	return 0;
}