#include <iostream>
#include <bits/stdc++.h>

using namespace std;

int main() {
    string number;
    cin >> number;
    if (number[0] == '7' or number[1] == '7' or number[2] == '7') {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }
}