#include <bits/stdc++.h>
using namespace std;
using Int = long long;
int PREP = (cin.tie(nullptr), ios::sync_with_stdio(false), cout << fixed << setprecision(9), 0);
//int SEGV = getenv("D") || (exit(system("D= SEGFAULT_SIGNALS=all catchsegv ./prog.exe") >> 8), 0);
int main() {
    string S; cin >> S;
    bool ok = false;
    for (int i = 0; i < 3; i++) {
        if (S[i] == '7') {
            ok = true;
        }
    }
    cout << (ok ? "Yes" : "No") << '\n';
    return 0;
}
