#include <iostream>
#include <vector>
#include <string>
#include <math.h>
#include <algorithm>
#include <numeric>
using namespace std;
#define rep(i, n) for (int i = 0; i < (n); i++)

int main() {
    string n;
    cin >> n;

    bool yes = false;
    rep(i, n.length()) {
        if (n[i] == '7') {
            yes = true;
            break;
        }
    }

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