#include <iostream>
#include <string>

using namespace std;

int main(void) {
    string N;
    bool res = false;

    cin >> N;

    for (int i = 0; i < N.length(); i++) {
        if (N.at(i) == '7') {
            res = true;
            break;
        }
    }
    if (res) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }

    return 0;
}
