#include <bits/stdc++.h>

using namespace std;

int main() {
    string S;

    cin >> S;

    for (int i = 0; i <3 ; ++i) {
        if (S[i]=='7'){
            cout << "Yes";
            return 0;
        }
    }

    cout << "No";
    return 0;
}