#include<bits/stdc++.h> using namespace std; int ctoi(char a){ return int(a)-48; } int main(){ string s; getline(cin,s); int a[10]; int h=0; a[0]=ctoi(s[0]); a[1]=ctoi(s[2]); a[2]=ctoi(s[3]); a[3]=ctoi(s[4]); a[4]=ctoi(s[6]); a[5]=ctoi(s[7]); a[6]=ctoi(s[8]); a[7]=ctoi(s[9]); a[8]=ctoi(s[10]); if(s[12]!='X') a[9]=ctoi(s[12]); else a[9]=10; for(int i=0;i<9;++i) h+=a[i]*(i+1); h%=11; if(h==a[9]){ cout<<"Right"; return 0; } else{ cout<<a[0]<<"-"<<a[1]<<a[2]<<a[3]<<"-"; for(int i=4;i<9;++i) cout<<a[i]; cout<<"-"; if(h<10) cout<<h; else cout<<'X'; } return 0; }