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