#include <bits/stdc++.h>
using namespace std;

int main() {
    vector<int> B(9);
    for(int i=0; i < 9; i++){
        cin >> B.at(i);
    }
    sort(B.begin(), B.end());

    for(int i=0; i < 9; i++){
        if(B.at(i) != i+1){
            cout << i + 1 << endl;
            break;
        }else if(i + 1 == 9){
            cout << 10 << endl;
        }
    }

    return 0;
}