#include <iostream>
#include <string>
#include <map>
#include <vector>
#include <cstdio>
#include <cstring>
using namespace std;
//抄博友程序 Time Limit Exceeded
char mp[10000][200];
char s[200];
bool check(int x)
{
char a[200],b[200];
for(int i=0;i<200;i++)
{
a[i]=mp[x][i];
b[i]=s[i];
}
int al=strlen(a);
int bl=strlen(b);
if(al==bl)
{
int js=0;
for(int i=0;i<al;i++)
{
if(a[i]!=b[i])
{
js++;
}
}
if(js==1)
{
return true;
}
}else if(al+1==bl)//抄博友程序
{
int js=0;
for(int i=0,j=0;j<bl;)
{
if(a[i]==b[j])
{
i++;
j++;
}else
{
j++;
js++;
}
}
if(js==1)
{
return true;
}
}else if(al==bl+1)//抄博友程序
{
int js=0;
for(int i=0,j=0;i<al;)
{
if(a[i]==b[j])
{
i++;
j++;
}else
{
i++;
js++;
}
}
if(js==1)
{
return true;
}
}
return false;
}
int main()
{
int o=0;
while(1)
{
char s[200];
scanf("%s",s);
if(s[0]=='#' && s[1]==0)
{
break;
}
for(int i=0;i<200;i++)
mp[o][i]=s[i];
o++;
}
while(1)
{
scanf("%s",s);
if(s[0]=='#' && s[1]==0)
{
break;
}
int flag=0;
for(int i=0;i<o;i++)
{
if(strcmp(s,mp[i])==0)
{
flag=1;
printf("%s is correct\n",s);
break;
}
}
if(flag==0)
{
printf("%s:",s);
for(int i=0;i<o;i++)
{
if(check(i))
{
printf(" %s",mp[i]);
}
}
printf("\n");
}
}
return 0;
}