#include <iostream>
#include <iomanip>
#include <algorithm>
#include <vector>
#define rep(i,n) for (int i=0; i<(n); ++i)
using namespace std;
using ll = long long;
using P = pair<int, int>;

const int INF = 1001001001;

int main() {
    int n;
    cin >> n;
    
    bool isSeven = false;

    if (n % 10 == 7) {
        isSeven = true;
    }

    while (isSeven == false) {
        if (n % 10 == 7) {
            isSeven = true;
            break;
        }

        if (n > 10) {
            n /= 10;
        }
        else {
            break;
        }
    }

    cout << ((isSeven) ? "Yes" : "No") << endl;

    return 0;
}
