#include <stdio.h>
#include <iostream>
#include <map>
#include <vector>

using namespace std;

using ll = long long;

int main()
{
	
	int n;
	cin >> n;

	int h = n / 100;
	int t = (n % 100) / 10;
	int s = (n % 100) % 10;


	if (7 == h || 7 == t || s == 7) {
		cout << "Yes" <<endl;
	}
	else {
		cout << "No" <<endl;
	}

	

	//system("pause");
	return 0;
}
