// ABC162A - Lucky 7

#include <bits/stdc++.h>
using namespace std;

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

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

	return 0;
}
