#include <bits/stdc++.h>

//#define debug_mode

#ifdef debug_mode
std::ifstream cin("input.txt");
std::ofstream cout("output.txt");
using std::endl;
#endif

#ifndef debug_mode
using namespace std;
#endif

void func_to_be_create();

int main(){

    #ifdef debug_mode
    int TEST_NUM = 3;
    while( TEST_NUM --){
    #endif

        func_to_be_create();

    #ifdef debug_mode
    }
    #endif
    return 0;

}

void func_to_be_create(){
    int N;
    cin >> N;
    while(N){
        int a = N % 10;
        if ( a == 7){
            cout << "Yes" << endl;
            return ;
        }else{
            N /= 10;
        }
    }
    cout << "No" << endl;
}