#include <iostream>
 
using namespace std;
 
int N;
 
 
int main()
{
 
	cin >> N;
 
	bool ans = false;
 
	int n = N;
	for (int i = 0; i < 3 && !ans; i++) {
		int a = n % 10;
		if (a == 7) { ans = true; }
		n /= 10;
	}
 
 
 
	cout << (ans?"Yes":"No") << endl;
 
	return 0;
}