#include <iostream>
#include <vector>
#include <algorithm>
#include <unordered_map>
#include <unordered_set>

using namespace std;


int main()
{
	int n;
	cin >> n;
	while (n)
	{
		if (n % 10 == 7)
		{
			cout << "Yes";
			return 0;
		}
		n /= 10;
	}
	cout << "No";
	return 0;
}
