#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
char data[10005][20],t[20],ans[10005][20];
int cnt_ans,count;
void cmp(){
    int i,j,k,l;
    for(i=0;i<count;i++){
        int len_d = strlen(data[i]);
        int len_t = strlen(t);
        if(len_d==len_t){
            
 
int sum = 0;
            for(j=0;j<len_d;j++){
                if(data[i][j]!=t[j]){
                    sum++;
                }
            }
            if(sum==1){
                strcpy(ans[cnt_ans++],data[i]);
            }
        }
        else if(len_d==len_t-1){
            for(j=0,l=0,k=0;k<len_t;k++,j++){
                
 
if(data[i][j]==t[k]){
                    l++;
                }
                else{
                    j--;
                }
            }
            if(l==len_d){
                strcpy(ans[cnt_ans++],data[i]);
            }
        }
        else if(len_d-1==len_t){
            for(j=0,k=0,l=0;k<len_d;j++,k++){
                
 
if(data[i][k]==t[j]){
                    l++;
                }
                else{
                    j--;
                }
            }
            if(l==len_t){
                strcpy(ans[cnt_ans++],data[i]);
            }
        }
    }
} 
int main(){
    count = 0;
    while(scanf("%s",t)==1&&t[0]!='#'){
        strcpy(data[count++],t);
    }
l1:    while(scanf("%s",t)==1&&t[0]!='#'){
        for(int i=0;i<count;i++){
            if(strcmp(t,data[i])==0){
                printf("%s is correct\n",t);
                goto l1;
            }
        }
        cnt_ans = 0;
        cmp(); 
        printf("%s:",t);
        for(int i=0;i<cnt_ans;i++){
            printf(" %s",ans[i]);
        }
        printf("\n");
    }
    
    return 0;
}