#include <bits/stdc++.h>
#define rep(i, a, n) for(int i = a; i < n; i++)
#define REP(i, n) rep(i, 0, n)
#define repb(i, a, b) for(int i = a; i >= b; i--)
#define all(a) a.begin(), a.end()
#define int long long
#define chmax(x, y) x = max(x, y)
#define chmin(x, y) x = min(x, y)
using namespace std;
typedef pair<int, int> P;
const int mod = 1000000007;
const int INF = 1e12;

signed main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    char c[3];
    rep(i, 0, 3){
        cin >> c[i];
    }
    int ans = 0;
    rep(i, 0, 3){
        if(c[i] == '?'){
            c[i] = '1';
            if((c[0] < c[1] && c[1] > c[2]) || (c[0] > c[1] && c[1] < c[2])){
                ans = 1;
            }
            c[i] = '?';
        }
    }
    rep(i, 0, 3){
        if(c[i] == '?'){
            c[i] = '4';
            if((c[0] < c[1] && c[1] > c[2]) || (c[0] > c[1] && c[1] < c[2])) ans = ans * 10 + 4;
            c[i] = '?';
        }
    }
    cout << ans << endl;
}