#include <bits/stdc++.h>
typedef long long int ll;
typedef long double ld;
using namespace std;

int main(){
    string s;
    cin>>s;
    string ans="No";
    for(ll i=0;i<s.size();++i){
        if(s[i]=='7'){
            ans="Yes";
            break;
        }
    }
    cout<<ans<<endl;
}