#include <stdio.h>
int main()
{
char isbn[13];
int i, k = 0, last, p;
gets(isbn);
for (i = 0, p = 0; i < 11; i ++)
{
if (isbn[i] == '-') continue;
p ++;
k += (isbn[i] - 48) * p;
}
last = k % 11;
if (last == 10)
last = 'X';
else
last += 48;
if (last == isbn[12])
printf("Right");
else
{
isbn[12] = last;
printf("%s", isbn);
}
return 0;
}
int main()
{
char isbn[13];
int i, k = 0, last, p;
gets(isbn);
for (i = 0, p = 0; i < 11; i ++)
{
if (isbn[i] == '-') continue;
p ++;
k += (isbn[i] - 48) * p;
}
last = k % 11;
if (last == 10)
last = 'X';
else
last += 48;
if (last == isbn[12])
printf("Right");
else
{
isbn[12] = last;
printf("%s", isbn);
}
return 0;
}