#include <bits/stdc++.h>
#define rep(i,n) for (int i=0; i<(n); ++i)
using namespace std;
using ll=long long;
int main(){
    string s;
    cin>>s;
    bool ok=false;
    rep(i,s.size()){
        if(s[i]=='7')ok=true;
    }
    cout<<(ok==true?"Yes":"No")<<endl;
}
