#include<bits/stdc++.h>
using namespace std;
int main() {
	string n; cin >> n;
	string ans = "No";
  	int sz = n.size();
	for(int i = 0; i < sz; i++) {
		if(n[i] == '7') 
			ans = "Yes";
	}
	cout << ans << endl;
	return 0;	
}
