#include<stdio.h>

main()
{
    int n,flag=0,res;

    while(n!=0)
    {
        res = n%10;
        n/=10;
        if(res==7)
        {
            flag=1;
            break;
        }
    }
    if(flag)
        printf("Yes");
    else
        printf("No");
}
