#include <bits/stdc++.h>

using namespace std;

#define endl '\n'
#define ll long long

const ll mod = 1e9 + 7;
const ll maxn = 2e8 + 5;
const double pi = 3.1415926535897932384626433832795028841971693993751058209749445923078;
//iostream::sync_with_stdio(false);

ll gcd(ll a, ll b)
{
	while (b != 0)
	{
		int t = b;
		b = a % b;
		a = t;
	}
	return a;
}
int main()
{
	int n;
	cin >> n;
	int h = 0;
	for(int i = 1; i <= 3; i++)
	{
		if (n % 10 == 7)
		{
			h = 1;
			break;
		}
		else
		{
			n /= 10;
		}
	}
	if (h)
	{
		cout << "Yes" << endl;
	}
	else
	{
		cout << "No" << endl;
	}
	return 0;
}
