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

using ll = long long;
using G = vector<vector<int>>;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
const ll MOD = 1000000007;

ll GCD(ll x, ll y){
	return y ? GCD(y, x%y) : x;	
}

int main() {
	int n; cin >> n;
	for(int i=0;i<3;i++){
		int m = n%10;
		if(m==7){
			cout << "Yes" << endl;
			return 0;
		}
		n = n/10;
	}
	cout << "No" << endl;
	return 0;
}