#include<bits/stdc++.h>
using namespace std;
using Int=long long;
using Real=long double;
template<class T,class S>inline bool chmin(T&A,S B){if(A>B){A=B;return true;}else{return false;}}
template<class T,class S>inline bool chmax(T&A,S B){if(A<B){A=B;return true;}else{return false;}}
#define REP(i,n)for(int i=0;i<(n);++i)
#define REP1(i,n)for(int i=1;i<=(n);++i)
#define ALL(x)begin(x),end(x)
#define drop(x){cout<<(x)<<'\n';return;}
bool isKadomatsuretsu(char a,char b,char c)
{
	return a^b&&a^c&&b^c&&a<b^b<c;
}
char a,b,c;
string ans;
void sol()
{
	cin>>a>>b>>c;
	int x=a=='?'?0:b=='?'?1:2;
	(x==0?a:x==1?b:c)='1';
	if(isKadomatsuretsu(a,b,c))ans+='1';
	(x==0?a:x==1?b:c)='4';
	if(isKadomatsuretsu(a,b,c))ans+='4';
	cout<<ans<<"\n";
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cout.tie(nullptr);
	cout<<fixed<<setprecision(16);
	int T=1;
	//cin>>T;
	while(T--)sol();
}