#include<stdio.h>
int main()
{
        int n,r,flag;
        scanf("%d",&n);
        flag=0;
        while(n>0)
        {
            r=n%10;
            if(r==7)
            {
                printf("Yes\n");
                flag=1;
                break;
            }
            n/=10;
        }
        if(flag!=1)
        {
                printf("No\n");
        }


}
