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

#define int long long
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }

signed main(){
	string s;
	cin >> s;

	if(s.find('7') != string::npos){
		cout << "Yes" << endl;
	}else{
		cout << "No" << endl;
	}

	return 0;
}
