#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;
}