#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
typedef vector<ll> vl ;
typedef vector<int> vi;
typedef pair<int, int> pi;
typedef pair<ll,ll> pl;

#define rep(i,N) for(int i=0; i < (int)N; i++)
#define all(v) (v).begin(),(v).end()

const int INF = 100000002;

int main(){
	string S;
	cin >> S;
	for(auto s:S){
		if(s == '7'){
			 cout << "Yes" << endl;
			 return 0;	
		}	
	}
	
	cout << "No" << endl;
}	