#include <bits/stdc++.h>

using namespace std;

int main() {
    int n;
    cin >> n;
    for (; n>0;) {
        int num = n%10;
        n = n/10;
        if (num == 7) {
            cout << "Yes";
            return 0;
        }
    }
    cout << "No";
}
