#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<(n);i++)
#define sz(x) int(x.size())
using ll=long long;
const ll MOD=1000000007;



int main() {
    string N;
    cin>>N;
    rep(i,3){
        if(N.at(i)=='7'){cout<<"Yes"<<endl;return 0;}
    }
    cout<<"No"<<endl;
}