#include<bits/stdc++.h>
using namespace std;
using p=pair<int,int>;
#define int long long
#define rep(i,N) for(int i=0;i<N;i++)

signed main(){
  string N;
  cin>>N;
  string ans="No";
  if(N[0]=='7')ans="Yes";
  if(N[1]=='7')ans="Yes";
  if(N[2]=='7')ans="Yes";
  cout<<ans<<endl;
}