#include<stdio.h>
int main()
{
    int a,b,c,i,s,d;
    scanf("%d",&a);
    b=a%10;
    a=a/10;
    c=a%10;
    a=a/10;
    d=a%10;
    if(b==7||c==7||d==7)
    {
        printf("Yes\n");
    }
    else prinitf("No\n");
}