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

#define ll long long
#define endl "\n"
#define FAST ios_base::sync_with_stdio(false); cin.tie(NULL);
#define M 1000000007

void solve()
{
	char a,b,c;
	cin>>a>>b>>c;
	if(a=='7') cout<<"Yes";
	else if(b=='7') cout<<"Yes";
	else if(c=='7') cout<<"Yes";
	else cout<<"No";
}

int main() 
{
	FAST
	ll t=1;	
	//cin>>t;
	for(ll i=0;i<t;i++) solve();
	return 0;
}
    