#include <bits/stdc++.h>
#include<utility>
#include<algorithm>

#define pan(i,n) for(int i=0;i<n;i++)
#define pans(i,n,a) for(int i=a;i<n;i++)
#define ll long long int
#define vi vector<int>
#define vl vector<ll>
#define pb push_back
#define INF 1e9+7
#define PI 3.141592653
#define inf 200007
#define P pair<ll,ll>

using namespace std;

int main(){
    int n;
    cin>>n;
    string s=to_string(n);
    bool flag=false;
    for (size_t i = 0; i < s.size(); i++)
    {
        if(s[i]=='7') {flag=true;
            break;
        }
    }
    if(flag) cout<<"Yes";
    else cout<<"No";
}   