#include <bits/stdc++.h>

using namespace std;

#define int long long

signed main()
{
	string t;
	cin >> t;
	int fl = 0;
	for (int i = 0; i < t.size(); i++)
	{
		if (t[i] == '7')
			fl = 1;
	}
	if (fl)
	{
		cout << "Yes" << endl;
	}
	else 
	{
		cout << "No" << endl;
	}
	return 0;
}