#include<stdio.h>

char c[105];

int main ()
{
    int i;
    //freopen("a.in","r",stdin);
    //freopen("a.out","w",stdout);

    for(i = 1; i <= 9; i++)
        scanf("%c",&c[i]);
    if(c[1] != '0')
    {
        if(c[1] != '7')
            printf("0\n");
        else
            printf("1\n");
        return 0;
    }
    if(c[2] != '7')
    {
        printf("1\n");
        return 0;
    }
    printf("73\n");
    return 0;
}