#include<stdio.h>
int main()
{
    int n;

    scanf("%d",&n);

    if(n/100==7)
    {
        printf("Yes");
    }
    else if(n%10==7)
    {
        printf("Yes");
    }
    else if((n/10)%10==7)
    {
        printf("Yes");
    }
    else
    {
        printf("No");
    }


}