#include <bits/stdc++.h>
using namespace std;
typedef pair<int, int> PII;
typedef vector<int> VI;
typedef vector<string> VS;
typedef vector<PII> VII;
typedef vector<VI> VVI;
typedef map<int, int> MPII;
typedef set<int> SETI;

int main()
{
    int N;
    cin >> N;
    bool ok = false;
    while (N > 0) {
        ok = N % 10 == 7;
        N /= 10;
    }
    cout << (ok ? "Yes" : "No");
}
