#include <iostream>
#include <string>

using namespace std;

int main() {
	int a;
	cin >> a;
	int b[3];
	for (int i = 0; i < 3; i++) {
		b[i] = a % 10;
		a = a / 10;
	}
	for (int i = 0; i < 3; i++) {
		if (b[i] == 7) {
			cout << "Yes" << endl;
			return 0;
		}
	}
	cout << "No" << endl;
	return 0;
}