
// Problem : A - Lucky 7
// Contest : AtCoder Beginner Contest 162
// URL : https://atcoder.jp/contests/abc162/tasks/abc162_a
// Memory Limit : 1024 MB
// Time Limit : 2000 ms
// Powered by CP Editor (https://github.com/cpeditor/cpeditor)

#include "bits/stdc++.h"
using namespace std;
using ll = long long;
#define cerr if(1)cerr
#define size(x) (int)x.size()

const int N = 1e6 + 1;

string s;

void solve() {
	cin >> s;
	if (s[0] == '7' || s[1] == '7' || s[2] == '7') cout << "Yes";
	else cout << "No";
}

int main() { cin.tie(0)->sync_with_stdio(0);
	int t = 1;
	// cin >> t;
	while (t--) {
		solve();
	}
}
