#include <stdio.h>

#include <string.h>

char words[+][];

int init(){

    int cnt=;

    while(~scanf("%s",words[cnt])){

        if(strcmp("#",words[cnt])==) return cnt;

        cnt++;

    }

}

int judge(char a[],char b[]){

    int success;

    int la=strlen(a);

    int lb=strlen(b);

    int i,j,k;

    int cnt=;

    if(la==lb){

        for(i=;i<la;++i)

            if(a[i]!=b[i])

                cnt++;

        if(cnt==) return ;

    }

    if(la==lb+)

    for(i=;i<la;++i){

        success=;

        for(j=,k=;j<la&&k<lb;){

            if(j==i){

                j++;continue;

            }

            if(a[j]!=b[k]){

                success=;

            }

            j++;k++;

        }

        if(success==) return ;

    }

    if(la+==lb)

    for(i=;i<lb;++i){

        success=;

        for(j=,k=;j<la&&k<lb;){

            if(k==i){

                k++;continue;

            }

            if(a[j]!=b[k]){

                success=;

            }

            j++;k++;

        }

        if(success==) return ;

    }

    return ;

}

void done(int cnt){

    char tmp[];

    int i;

    int success;

    while(~scanf("%s",tmp)){

        if(strcmp(tmp,"#")==)

            return;

        success=;

        for(i=;i<cnt;++i){

            if(strcmp(words[i],tmp)==){

                printf("%s is correct\n",tmp);

                success=;

                break;

            }

        }

        if(success==)

            continue;

        printf("%s:",tmp);

        for(i=;i<cnt;++i){

            if( judge(words[i],tmp)==){

                printf(" %s",words[i]);

            }

        }

        printf("\n");

    }

    return ;

}

int main(){

    done(init());

    return ;

}