#include<stdio.h>
void main(void)
{
    int n;
    scanf("%d",&n);
    if(n/100==7)
    {
        printf("Yes");
        return;
    }
    n = n - (n/100)*100;
    if(n/10==7)
    {
        printf("Yes");
        return;
    }
    n = n - (n/10)*10;
    if(n==7)
    printf("Yes");
    else
    {
        printf("No");
    }
    
}