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

int main() {
  int input;
  bool flag = false;
  cin >> input;

  vector<int> number(3); 

  for(int i=0; i<3; i++) {
    number.at(i) = input/pow(10, 2-i);
    input -= number.at(i)*pow(10, 2-i);
  }

  for(num:number) {
    if(num == 7) {
      flag = true;
      cout << "Yes" << endl;
      break;
    }
  }

  if(flag == false) cout << "No" << endl;

  return 0;
}
