
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef long double ld;

int main() {

    int n;
    cin >> n;
    int n100 = n % 100;
    if (n / 100 == 7 || n100 / 10 == 7 || n % 10 == 7) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }

    return 0;

}
