#include "stdio.h"
FILE *in,*out;
int main()
{
in=fopen("spy4.in","r");
out=fopen("spy.out","w");
char code[100][100]={0},s[101]={0},d[101]={0},n[101]={0},nn[101]={0};
int i=0,j,k,sum1,sum2,error=0;
fscanf(in,"%s%s%s",s,d,n);
while(s[i]!=0)
{
code[s[i]-64][0]=1;
code[s[i]-64][d[i]-64]=1;
i++;
}
for(j=1;j<=26;j++)
{
sum1=0;
sum2=0;
for(k=1;k<=26;k++)
{
sum1+=code[j][k];
sum2+=code[k][j];
}
if(code[j][0]==0||sum1>1||sum2>1) {error=1;break;}
}
if(error)
{
fprintf(out,"Failed\n",n);
}
else
{
i=0;
while(n[i]!=0)
{
for(k=1;k<=26;k++)
{
if(code[n[i]-64][k]==1) {j=k;break;}
}
nn[i]=64+j;
i++;
}
fprintf(out,"%s\n",nn);
}
fclose(in);
fclose(out);
return 0;
}