#include<stdio.h>
#include<math.h>
#include<string>
#include<cmath>
 
int main(void){
    int N;
    scanf("%d",&N);
    std::string str=std::to_string(N);
    for(int k=0;k<str.length();k++){
        if(str[k]=='7'){
            printf("Yes");
            return 0;
        }
    }
    printf("No");
    return 0;
}