#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]); a[9]=ctoi(s[12]); 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<<"-"<<a[9]; } return 0; }