#include<stdio.h>
int main()
{
    int i,n,mod,flag=0;

    scanf("%d",&n);

    for(i=1; i<=3; i++)
    {
        mod=n%10;
        n=n/10;
        if(mod==7)
        {
            flag=1;
        }
    }
    if(flag==1)
        printf("Yes\n");
    else
        printf("No\n");
    return 0;
}
