#include <iostream>
#include <string>
#include <vector>

using namespace std;

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