#include <stdio.h>

int main()
{
        int i = 0 , i_d = 0 , lenth = 0;
        int id[10] , id2[10];
        int i_flag = 0 , space = 0;
        char buffer [81];

        while( fgets(buffer , 81 , stdin) !=NULL){
                space = 0;
                lenth = strlen (buffer);
                buffer[lenth - 1] = '\0';
                lenth = strlen (buffer);
                i_d = 0 , i_flag = 0;
                for(i=0 ; i < lenth ; i++ ){
                        if( buffer[i]>='0' && buffer[i]<='9'){
                                if(i_d >= 10)
                                        i_flag = 1;
                                else
                                        id[i_d++] = buffer[i] - '0';
                        }
                        if( buffer[i] == 'X')
                                id[i_d++] = 10;
                        else if( buffer[i] == ' ')
                                space ++;
                }
                if(space == lenth)
                        continue;
                if(i_d != 10)
                        i_flag = 1;
                id2[0] = id[0];
                for( i = 1; i < 10 ; i++){
                        if(id[i] == 10 || id[0] == 10){
                                if(i!=9)
                                        i_flag = 1;
                        }
                        id2[i] = id[i] + id2[i-1];
                }

                for( i = 1 ; i < 10 ; i++)
                        id2[ i ] += id2[i-1];
                if( !( id2[9] == 0 || id2[9] % 11 == 0) )

                for( i = 0 ; i < lenth ; i++)
                        if( buffer[i] != ' ' &&buffer[i] != '   ')
                                printf("%c",buffer[i]);
                if( i_flag)
                        printf(" is incorrect.\n",buffer);
                else
                        printf(" is correct.\n",buffer);
        }
        return 0;
}