#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define pb push_back
#define N 200100
#define MOD 1000000007
#define fn(i,n) for(int i=0;i<n;i+=1)
#define rep(i,l,r) for(int i=l;i<=r;i+=1)
#define INF 100000000000000
#define pii pair<int,int>
#define speed ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);


signed main()
{
    
    speed
    int n;
    cin>>n;
    int f=0;
    while(n){
        int xd=n%10;
        if(xd==7){
            cout<<"Yes"<<endl;
            f=1;
            break;
        }
        n/=10;
    }
    if(!f)
        cout<<"No"<<endl;
    
   
    
    
    
    return 0;
}