#include<stdio.h>
#include<math.h>
int main()
{
    int n;
    int c1=0,r;
     scanf("%d",&n);
        while(r!=0)
        {
            r=n%10;
            n=n/10;
            if(r==7)
            {
                c1++;
            }

        }
    if(c1>=1)
    {
        printf("Yes\n");
    }
    else
    {
        printf("No\n");
    }
    return 0;
}
