#include <bits/stdc++.h>
using namespace std;

#define fastio ios_base::sync_with_stdio(false);cin.tie(NULL);
#define ll long long

int main() {
    fastio;
    int n, flag = 0;
    cin >> n;
    while (n) {
        if (n % 10 == 7) {
            flag = 1;
            break;
        }
        n /= 10;
    }
    cout << (flag == 1 ? "Yes" : "No");
    return 0;
}