#include<iostream>
#include<cmath>
#include<vector>

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

  std::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;
      std::cout << "Yes" << std::endl;
      break;
    }
  }

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

  return 0;
}
