#include <bits/stdc++.h>

using namespace std;

int main() {

        int N;

        cin >> N;

        int hundred = N / 100;
        int ten = (N - hundred * 100) / 10;
        int one = (N - hundred*100 - ten*10);

        if(hundred == 7 || ten == 7 || one == 7) {
                cout << "Yes" << endl;
        } else {
                cout << "No" << endl;
        }