#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
int main(){
  int N;
  cin>>N;
  if(N.at(1)==7){
    cout<<"Yes"<<endl;
  }
  else if(N.at(2)==7){
    cout<<"Yes"<<endl;
  }
  else if(N.at(3)==7){
    cout<<"Yes"<<endl;
  }
  else{
    cout<<"No"<<endl;
  }
}
  
    