#include <iostream>

using namespace std;

int main() {
	int N;
	bool flag = false;

	cin >> N;

	int tmp = N;
	for (int i = 0; i < N; i++) {
		if (tmp % 10 == 7) {
			flag = true;
		}
		tmp /= 10;
	}

	if (flag) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}
}