#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define P pair<int,int>
using ll=int64_t;
using namespace std;
#define ketasuu(n) fixed<<setprecision(n)
#define btoe(p) p.begin(),p.end()
#define etob(p) p.rbegin(),p.rend()




int main(){
    int n;
    cin>>n;
    bool ok=false;
    rep(i,3){
        int b=n%10;
        if(b==7) ok=true;
        b/=10;
    }
    cout<<(ok?"Yes": "No")<<endl;
}