#include <stdio.h>
#include <stdlib.h>

int main()
{
    int N;
    scanf("%d",&N);
    int i;
    for(i=0;i<3;i++)
    {
        if(N%10==7)
        {
            printf("Yes");return 0;
        }
        else
        {
            N=N/10;
        }
    }
    printf("No");
    return 0;
}
