#include<iostream> 
#include<vector> 
#include<algorithm> 
using namespace std; 
#define lld long long int
#define X 1000000007
#define fast();  ios_base::sync_with_stdio(false); cin.tie(0);
# define rec(i,n) for(int i=0;i<n;i++) 
#define w(t) int t; cin>>t; while(t--)
int main()
{
    fast(); 

    int n; 
    int flag=0; 
    cin>>n; 
    while(n) 
    { if(n%10==7) 
        flag=1; 
        n=n/10; 
    } 
    if(flag) 
    cout<<"Yes"<<endl; 
    else 
    cout<<"No"<<endl; 
    
	return 0;
}