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

using namespace std;

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

    return 0;
}