#include <iostream>
using namespace std;

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

	for (int i = 0; i < n.length(); ++i) {
		if ('7' == n[i]) {
			cout << "Yes" << endl;
			return 0;
		}
	}

	cout << "No" << endl;

	return 0;
}