#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
using p = pair<int,int>;

int main() {
    string s;
    cin >> s;

    bool isSeven = false;

    for (int i=0; i < 3; ++i) {
        if (s.at(i) == '7') {
            isSeven = true;
        }
    }

    if (isSeven) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
    return 0;
}
