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


#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for(long long int i=0;i<(n);++i)
typedef long long int ll;

class ALucky7 {
public:
	void solve(std::istream& in, std::ostream& out) {
        string s;
        in >> s;
        rep(i,3){
            if(s[i]=='7'){
                out << "Yes" << endl;
                return ;
            }
        }
        out << "No" << endl;
	}
};


int main() {
	ALucky7 solver;
	std::istream& in(std::cin);
	std::ostream& out(std::cout);
	solver.solve(in, out);
	return 0;
}
