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

int main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
	string n; cin >> n;
	for(int i{}; i < n.size(); i++)
	{
		if(n[i] == '7')
		{
			cout << "Yes";
			return 0;
		}
	}
	cout << "No";
}