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

int n;

void solve() {
    string s = to_string(n);
    if (s.at(0) == '7' || s.at(1) == '7' || s.at(2) == '7') {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }
}

int main() {
    cin >> n;
    solve();
}