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

using LL = long long;
using LD = long double;
 
LL mod = 1e9+7;

int main()
{
	string s;
	cin >> s;
	LL p= 0;
	for (auto e : s) {
		if (e == '7') {
			p = 1;
		}
	}

	if (p) {
		cout << "Yes\n";
	}
	else {
		cout << "No\n";
	}


}