#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define all(x) (x).begin(), (x).end()
typedef long long ll;

int main() {
    string N;
    cin >> N;
    string S = "No";
    rep(i, 3) {
        if (N.at(i) == '7') {
            S = "Yes";
            break;
        }
    }
    cout << S << endl;
}