#include<stdio.h>
int main()
{
    int a,digit,flag=0;
    scanf("%d",&a);
    for(; a!=0;)
    {
        digit=a%10;
        if (digit==7)
        {
            flag=1;
            break;
        }
        a=a/10;
    }
    if (flag==1)
    {
        printf("Yes");
    }
    else
    {
        printf("No");
    }
    return 0;
}
