#include<bits/stdc++.h>
using namespace std;
int main(){
	char ch1[26]={'0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0'};
	char ch2[26]={'0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0'};
	string s1,s2,s3;
	cin>>s1>>s2>>s3;
	for(int i=0;i<s1.size();i++){
		if(ch2[int(s1[i]-'A')]!='0'&&ch2[int(s1[i]-'A')]!=s2[i]){cout<<"Failed";return 0;}
		ch1[i]=s1[i];
		ch2[i]=s2[i];
	}
	for(int i=0;i<s3.size();i++)
		if(ch1[int(s1[i]-'A')]=='0'){cout<<"Failed";return 0;}
	for(int i=0;i<s3.size();i++)cout<<ch2[int(s1[i]-'A')];
}