#include <bits/stdc++.h>
using namespace std;

int main() {
  int N ;
  cin >> N ;
  
  if(N%10==7){
    cout<<"Yes"<<endl;
  }
  
  else if(N/100==7){
    cout<<"Yes"<<endl;
  }
  
  else if(N%100-N%10==70){
   cout << "Yes" <<endl;
  }
  
  else {
    cout<<"No" << endl;
  }
}
  

