#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
typedef long double ld;
typedef pair<ll,ll> p2;
void solve(){
	string s;
	cin>>s;
	if(s[0]=='7'||s[1]=='7'||s[2]=='7')
	cout<<"Yes";
	else\
	cout<<"No";
}
int main(){
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);
	ll qc=1;
	for(ll i=1;i<=qc;i++)
	solve();
}
