#include <iostream>
using namespace std;

int main() {
    string N;
    cin >> N;
    bool ans = false;
    for (int i = 0; i < 3; i++) {
        if (N.at(i) == '7') {
            ans = true;
        }
    }

    if (ans) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
}