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

int main(void) {
	string S;
	cin >> S;

	string ans = "No";
	for (int i = 0; i < 3; ++i) {
		if (S[i] == '7') {
			ans = "Yes";
			break;
		}
	}

	cout << ans << '\n';
	return 0;
}
