#include<bits/stdc++.h>
#define rep(i, n) for(int i=0; i<n; i++)
#define REP(i, n) for (int i=1; i<n; i++)
using namespace std;
using f=float; using ll=long long; using ld=long double;
using ull=unsigned long long; using vi=vector<int>; using pii=pair<int, int>;

int main() {
    int n, flag_n = 0;
    cin >> n;
    string s = to_string(n);
    rep(i, s.size()) {
        if ( s.at(i) == '7') {
            flag_n = 1;
        }
    }
    if (flag_n) cout << "Yes" << endl;
    else cout << "No" << endl;
//    cout << s << endl;
    return 0;
}