// i hope i get better                                                           
#include <bits/stdc++.h>
#define mp make_pair
#define pb push_back
#define f first
#define s second
#define all(x) x.begin(), x.end()
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
const int sz=1e2+9;
string s;
bool ok;

int main(){
	cin>>s;
	for(auto u:s){
		if(u=='7') ok=1;
	}
	if(ok) cout<<"Yes";
	else cout<<"No";
	return 0;
}