#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char dict[10001][16];
int dictpoc=0;
int prechody[3][2]={{0,2},{1,2},{2,3}};
char mnozina[1000];

int readdict(){
    dictpoc=0;
    scanf("%s\n",&dict[dictpoc]);	
/*    printf("%s\n",dict[dictpoc]);*/
    while(strcmp(dict[dictpoc++],"#")!=0){
        scanf("%s\n",&dict[dictpoc]);	
/*        printf("%s\n",dict[dictpoc]);	*/
    }
    return --dictpoc;
}

int comparestr(char *a, char *b){
    int aind=0, bind=0, stav=0, lena=0;
    char *pom;
    stav =abs(strlen(a) - strlen(b));
    if (stav>1) return 2;
    if (strlen(a)>strlen(b)){
	pom = a;
	a = b;
	b = pom;
    }
    lena = strlen(a);    
    for(aind=0; aind<lena;){
/*printf("%i%c%c ",stav,a[aind],b[bind]);*/
	switch(stav){
	    case 0:
		if(a[aind++]!=b[bind++]){
		    stav=2;
		}
		break;
	    case 2:
		if(a[aind++]!=b[bind++]){
		    stav=3;
		}
		break;
	    case 1:
		if(a[aind]!=b[bind++]){
		    stav=2;
		}
		else{aind++;}
		break;
	    case 3:
		return 2;
	}
    }
    if(stav==3) return 2;    
    return stav==0 ? 0 : 1;
}

int main(){
    char pom[16];
    int i,nstav;
    while(readdict()){
	scanf("%s\n",pom);
	while(strcmp(pom,"#")!=0){
	    strcpy(mnozina,"");
	    nstav = 0;
	    for(i=0; i<dictpoc; i++){
		switch(comparestr(dict[i],pom)){
		    case 0:
			printf("%s is correct\n",pom);
			i=dictpoc;
			nstav = 1;
			break;
		    case 1:
			strcat(mnozina, " ");
			strcat(mnozina, dict[i]);
			break;
		    case 2:
		}
	    }
	    if(nstav == 0) printf("%s:%s\n",pom, mnozina);
	    scanf("%s\n",pom);	    
	}
    }
/*    printf("%i\n",comparestr("me","mre"));*/
    return 0;
}