#include <algorithm>
#include <iostream>
#include <string>

using ll = long long;
#define rep(inc, bgn, end) for (int inc = bgn; inc < end; ++inc)
#define repe(inc, bgn, end) for (int inc = bgn; inc <= end; ++inc)

using namespace std;

// 158 - c
int main(void) {
    int n;
    cin >> n;

    bool flg = false;

    while (n > 0) {
        int val = n % 10;
        if (val == 7) {
            flg = true;
            break;
        }
        n /= 10;
    }

    if (flg)
        cout << "Yes" << endl;
    else
        cout << "No" << endl;

    return 0;
}

// int : 1000000 = 10^9
