#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int maxx = 1e5 + 7;
const int Inf = 1 << 30;
const LL INF = 1LL << 60;
string s;

int main() {
	cin >> s;
	bool flg = 0;
	int l = s.length();
	for(int i = 0; i < l; i++) {
		if(s[i] == '7') {
			flg = 1;
			break;
		}
	}
	if(flg) puts("Yes");
	else puts("No");
	return 0;
}