#include "bits/stdc++.h"
using namespace std;
int main() {
	string n;

	cin >> n;

	if (n[0] == 7 || n[1] == 7 || n[2] == 7) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}

	return 0;
}
