#include <bits/stdc++.h>
using namespace std;

typedef long long ll;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);

    string s;
    cin >> s;

    for (auto c: s) {
        if (c == '7') {
            cout << "Yes" << "\n";
            return 0;
        }
    }

    cout << "No" << "\n";
}

