#include<bits/stdc++.h>
using namespace std;
#define FOR(i,l,r) for(long long i=(l);i<(r);++i)
#define REP(i,n) FOR(i,0,n)
#define int long long
 
signed main(){
    string S;
    cin>>S;
    if(S[0]=='7'||S[1]=='7'||S[2]=='7') cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
}