#include <bits/stdc++.h> 
using namespace std; 
#define forn(i,n) for(int i=0;i<int(n);i++)
#define fora(i,a,b) for(int i=int(a);i<=int(b);i++)
typedef long long int ll;
void solve()
{
	string s;
	cin>>s;
	for(auto i:s)
	{
		if(i=='7')
		{
			cout<<"Yes"<<endl;
			return;
		}
	}
	cout<<"No"<<endl;
}
int main()
{
    ios::sync_with_stdio(0); 
    cin.tie(0); 
    cout.tie(0);
   	solve();
}