#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(k,i,n) for(ll i=k;i<n;++i)
int main(void){
    string s;
    cin>>s;
    rep(0,i,s.length())if(s.substr(i,1)=="7"){
        cout<<"Yes";
        return 0;
    }
    cout<<"No";
}
