#include <iostream>
using namespace std;

int main(){
 int N;
 cin >> N;
 
  bool flag = false;
  
  for (int i=0;i<3;i++) {
    if (N%10==7) {
      flag = true;
      break;
    }
    N=N/10;
  }
  
  if (flag)
  	cout << "Yes" << endl;
  else
  	cout << "No" << endl;
  
}