#include<iostream>
#include<cstring>
using namespace std;
int main(){
    char dict[10005][20],tar[20],tmp[20];
    int count,i,j,diff_num;
    bool flag;
    count = 0;
    while(scanf("%s",tmp)==1&&strcmp(tmp,"#")!=0){
        strcpy(dict[count++],tmp);
    }
    while(scanf("%s",tmp)==1
 
&&strcmp(tmp,"#")!=0){
        flag = false;
        for(i=0;i<count;i++){
            if(strcmp(tmp,dict[i])==0){
                flag = true;
            }
        }
        if(flag){
            printf("%s is correct\n",tmp);
            continue;
        }
        printf("%s:",tmp);
        
 
for(i=0;i<count;i++){
            if(strlen(tmp)==strlen(dict[i])){
                diff_num = 0;
                for(j=0;j<strlen(tmp);j++){
                    if(tmp[j]!=dict[i][j])
                        diff_num++;
                }
                if(diff_num==1)
                    printf(
 
" %s",dict[i]);
            }
            else if(strlen(tmp)==strlen(dict[i])+1){
                j = 0;
                while(j<strlen(dict[i])&&tmp[j]==dict[i][j])j++;
                while(j<strlen(dict[i])&&tmp[j+1]==dict[i][j])j++;
                if(j==strlen(dict[i]))
                    printf(" %s",dict[i]);
            }
            else if(strlen(tmp)==strlen(dict[i])-1){
                j = 0;
                while(j<strlen(tmp)&&tmp[j]==dict[i][j])j++;
                while(j<strlen(tmp)&&tmp[j]==dict[i][j+1])j++;
                if(j==strlen(tmp))
                    printf(" %s",dict[i]);
            }
        }
        printf("\n"); 
    }
    return 0;
}