#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define all(v) v.begin(), v.end()
using namespace std;
typedef long long ll;

int main() {
	int n;
	cin >> n;
	string ans = "No";
	
	while(n) {
		if(n % 10 == 7) ans = "Yes";
		n/=10; 
	}
	cout << ans << endl;
	return 0;
}