#include <iostream>
#include <vector>
#include <unordered_map>
using namespace std;

int main() 
{
    int i=0;
    unordered_map<int,int>hash;
    while(cin>>i)
    {
        hash[i]=1;
    }
    string a;
    int count=0;
    for(i=1;i<=10000;i++)
    {
        if(hash.count(i)==0)
        {
            a+=to_string(i);
            count++;
            if(count==3)
            {
                break;
            }
        }
    }
    int len=a.size();
    long long ans=0;
    for(i=0;i<len;i++)
    {
        ans*=10;
        ans+=a[i]-'0';
    }
    cout<<ans%7;
    return 0;
}