#include<stdio.h>
int main()
{
    int N,A,B,C,D,E,F;
    scanf("%d",&N);
    if(N>=100&&N<=999)
    {
        A=N%100;
        B=A%10;
        N=N-B;
        C=N%100;
        D=C/10;
        E=N-D;
        F=E/100;
        if(B==7||D==7||F==7)
        {
            printf("Yes");
        }
        else
            printf("No");
    }
}
