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

#if 0
#define ep printf
#else
#define ep 0 ||
#endif

int h,w;
char dict[10001][16];
char cmps[16];

int cmpird(char *a, char *b){
 char *c,*d;
 while(*a && *b && *a==*b){
  a++;b++;
 }
 if(*b){
  c=a;d=b+1;
  while(*d && *c && *d==*c){c++;d++;}
  if(!*d && !*c)return 1;
 }
 if(*a){
  c=a+1;d=b;
  while(*d && *c && *d==*c){c++;d++;}
  if(!*d && !*c)return 1;
 }
 if(*a && *b){
  c=a+1;d=b+1;
  while(*d && *c && *d==*c){c++;d++;}
  if(!*d && !*c)return 1;
 }
 return 0;
}

int main(void){
 int a,b,c,d;
 while(1){
  a=0;
  do{
   scanf("%s\n",dict[a]);
   a++;
  }
  while(dict[a-1][0]!='#');
  a-=1;
  if(!a)break;
  while(1){
  next:
   scanf("%s\n",cmps);
   if(cmps[0]=='#')break;
   for(b=0;b<a;b++){
    if(!strcmp(cmps,dict[b])){
     printf("%s is correct\n",cmps);
     goto next;
    }
   }
   ep("hola\n");
   printf("%s: ",cmps);
   for(b=0;b<a;b++){
    if(cmpird(cmps,dict[b]))printf("%s ",dict[b]);
   }
   printf("\n");
  }
 }
 return 0;
}