#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
#define rep(i, n, s) for (int i = s; i < (int)(n); i++)

ll calcNumOfCombination(ll n, ll r) {
    ll num = 1;
    for (ll i = 1; i <= r; i++) {
        num = num * (n - i + 1) / i;
    }
    return num;
}


int main() {
    int n;
    cin >> n;
    int flag = 0;

    if (n % 10 == 7) {
        flag = 1;
    }
    n = n / 10;
    if (n % 10 == 7) {
        flag = 1;
    }
    n = n / 10;
    if (n % 10 == 7) {
        flag = 1;
    }

    if (flag == 1) {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }
    return 0;
}