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

const ll INF = 1LL << 60;

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