#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef vector<ll> V;
#define rep(i,e) for(ll i=0;i<e;i++ )
typedef pair<ll,ll> P;
const ll mod = 1e9+7;
const ll INF = INT32_MAX;

ll i,j;





int main(){
   string S;
   cin>>S;
   if(S[0]=='7'||S[1]=='7'||S[2]=='7')cout<<"Yes"<<endl;
   else cout<<"No"<<endl; 
}