#include <iostream>
#include <string>
using namespace std;

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

	string ans = "No";
	for (int i = 0; i < n.length(); i++) {
		if (n.at(i) == '7') {
			ans = "Yes";
		}
	}

	cout << ans << endl;
	return 0;
}