#include<bits/stdc++.h>
using namespace std;
int main(){
string s1,s2,s3;
cin>>s1>>s2>>s3;
char s4[s3.length()];
for(int i=0;i<s3.length();i++){
bool bo=0;
for(int j=0;j<s1.length();j++){
if(s3[i]==s1[j]){
s4[i]=s2[j];
bo=1;
break;
}
}
if(bo==0){
cout<<"Failed(2)";
return 0;
}
}
for(int i=0;i<s3.length();i++){
for(int j=0;j<s3.length();j++){
if((s4[i]==s4[j])^(s3[i]==s3[j])){
cout<<"Failed(3)";
return 0;
}
}
}
for(int i=0;i<s3.length();i++)
cout<<s4[i];
}