#include<stdio.h>
int main()
{
    int a,i,d,b=0;
    scanf("%d",&a);
    for(i=a;i>0;i=i/10)
    {
        d=i%10;
        if(d==7)
            b++;
    }
    if(b>0)
    {
        printf("Yes");
    }
    else
        printf("No");
}
