#include <iostream>
#include <algorithm>
#include <map>
#include <vector>
#include <math.h>

using namespace std;

int main() {
  int n;
  cin >> n;

  for(int i = 0; i < 3; i++){
    if(n % 10 == 7){
      cout << "Yes" << endl;
      return 0;
    }
    else{
      n %= 10;
    }
  }

  cout << "No" << endl;

  return 0;
}