#include <bits/stdc++.h>
using namespace std;
 
int main() {
  int H,A,B,N,R,M,K,X,Y,Z,C;
  string S,T,U;
  int N_tmp=0;
  cin >> N;
  
  if(N / 100 == 7){
          cout << "Yes" << endl;
          return 0;
  }


  N_tmp = N % 100;
  
  if(N_tmp / 10 == 7){
              cout << "Yes" << endl;
          return 0;
  }

  N_tmp = N % 10;

  if(N_tmp / 1 == 7){
              cout << "Yes" << endl;
          return 0;
  }

  cout << "No" << endl;
  
  


}