#include <iostream>
using namespace std;
int main ()
{
    char a[100];
    cin>>a;
    if(a[4]=='1') cout<<7<<endl;
    else cout<<11<<endl;
    return 0;
}