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


int main(){
  string n;
  cin>>n;
  bool f=false;
  rep(i,n.size()){
    if(n[i]=='7')f=true;
  }
  if(f)cout<<"Yes";
  else cout<<"No";


  return 0;
}

