#include <vector>
#include <string>
#include <iostream>
#include <queue>
#include <algorithm>
#include <functional>
#include <map>
#include <array>
#include <cmath>

using namespace std;


int main(int argc, char* argv[]){
    long long N;
    cin >> N;

    while(N > 0){
        if(N % 10 == 7){
            cout << "Yes";
            return 0;
        }
        N /= 10;
    }

    cout << "No";
}
