/**
 * code generated by JHelper
 * More info: https://github.com/AlexeyDmitriev/JHelper
 * @author dwij
 */


#include <bits/stdc++.h>


using namespace std;

/*******  All Required define Pre-Processors and typedef Constants *******/
#define endl '\n'

/**********************************************/




class ALucky7 {
public:
    void solve(istream &in, ostream &out) {

        string s;
        in >> s;

        bool found = false;
        for (int i = 0; i < s.size(); ++i) {
            if (s[i] == '7') {
                out << "Yes" << endl;
                found = true;
                break;
            }
        }

        if (!found) out << "No" << endl;


    }
};


int main() {
    ALucky7 solver;
    std::istream &in(std::cin);
    std::ostream &out(std::cout);

    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);

    solver.solve(in, out);
    return 0;
}
