#include <iostream>
#include <string>

using namespace std;

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