#include <bits/stdc++.h>
    using namespace std;
    int main() {
        string s, ans = "No";
        cin >> s;
        for (auto c : s) {
            if (c == '7')
                ans = "Yes";
        }
        cout << ans << endl;
    }