#include<stdio.h>
int main()
{
    int n,temp,r,c;

    scanf("%d",&n);

    temp = n;

    c=0;

    while(temp!=0)
    {
        r = temp%10;
        if(r==7)
        {
            ++c;
            break;
        }

        temp/=10;
    }

    if(c!=0)
        printf("Yes\n");

    else if(c==0)
        printf("No\n");

    return 0;


}
