#include <bits/stdc++.h>

using namespace std;

int main() {
    int N;
    cin >> N;

    string numbers = to_string(N);

    string answer = "No";
    for (char number : numbers) {
        if (number == '7') {
            answer = "Yes";
            break;
        }
    }

    cout << answer << endl;

    return 0;
}
