#include <algorithm>
#include <vector>
#include <iostream>
#include <cmath>
#include <set>
#include <string>
#include <list>
using namespace std;
int calcdigit(int n)
{
	int d = 0;
	while (n > 0)
	{
		n = n/10;
		d++;
	}
	return d;

}


int main()
{
	int n;
	cin >> n;
	bool flg = false;
	int d = pow(10,calcdigit(n));


	while (d > 0)
	{
		if (n / d == 7)
		{
			flg = true;
			break;
		}
		n = n%d;
		d /= 10;
	}

	if(flg) cout << "Yes" <<endl;
	else cout << "No" << endl;
}