#define _CRT_SECURE_NO_DEPRECATE
#include<bits/stdc++.h>
using namespace std;
int jug = -1;
string s1, s2, mi;
string sb[26] = { "A","B","C","D","E","F","G","H","I","J","K","L","M","N","O","P","Q","R","S","T","U","V","W","X","Y","Z"};
int a[26], b[26];
int main()
{
cin >> s1 >> s2 >> mi;
for (int i = 0; i < s1.length(); i++)
{
a[s1[i] - 'A'] = s2[i] - 'A';
if (b[s1[i] - 'A'] == 0)
{
b[s1[i] - 'A'] = s2[i] - 'A' + 1;
}
else {
if (s2[i] - 'A' != b[s1[i] - 'A'] - 1)
{
jug = 0;
break;
}
}
}
for (int i = 0; i < 26; i++)
{
if (b[i] == 0) {
jug = 0;
break;
}
}
if (jug == 0)
{
cout << "Failed";
}
else {
for (int i = 0; i < mi.length(); i++)
{
cout << sb[a[mi[i] - 'A']];
}
}
}