#include<stdio.h>
int main()
{
    int N;
    while(scanf("%d",&N)!=EOF)
    {
        int a=N/100;
        int b=N%10;
        int c=(N%100)/10;
        if((a==7)||(b==7)||(c==7))
        printf("Yes\n");
        else
        printf("No\n");
    }
    return 0;
}