#include <bits/stdc++.h>
using namespace std;
#define int long long
 
signed main() {
  int n;
  cin >> n ;
  int x;
  int y;
  int z;
  x = n/100;  //100の位の値
   y=(n % 100) / 10 ;　//10の位の値
   z= n-(x*100+y*10); //１の位の値
  if (x==7){
    cout << "Yes" << endl;
  }
 
  else if (y==7){
    cout << "Yes" << endl;
  }
  
  else  if (z==7){
    cout << "Yes" << endl;
  }
  else {
    cout << "No" << endl;
  
  } 
}




  
    
  
  
 
 



















