#include<bits/stdc++.h>

using namespace std;

#define int long long
const int mod=(int)1e9+7;

void test_case(){
    string s;
    cin>>s;
    for(int i=0;i<s.size();i++){
        if(s[i]=='7'){
            cout<<"Yes\n";
            return;
        }
    }
    cout<<"No\n";
}

signed main(){
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    int t=1;
    //cin>>t;
    while(t--){
        test_case();
    }
}
