#include <bits/stdc++.h>
using namespace std;

int main() {
    string N;
    cin >> N;
    bool ans = false;

    for(int i = 0; i < N.size(); i++) {
        if(N.at(i) = 7) {
            ans = true;
        }

    }
    if(ans) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
}