#include <bits/stdc++.h>

using namespace std;

int main() {

	// freopen("input.txt", "r", stdin);
	// freopen("output.txt", "w", stdout);

	string s;
	cin >> s;
	if (s.find('7') != string::npos) cout << "Yes\n";
	else cout << "No\n";
	return 0;
}