#include<bits/stdc++.h>
#define int long long 
#define fast ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
#define pb push_back
#define all(a) a.begin(),a.end()
#define ld long double
#define pii pair<int,int>
using namespace std;
signed main(){
    fast;
    string s;
    cin>>s;
    for(auto it:s){
        if(it == '7'){
            cout<<"Yes";
            return 0;
        }
    }
    cout<<"No";
}