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


int main() {
  string N;
  cin >> N;

  bool flag = false;
  for (auto i = 0; i < 3; ++i) {
    if(N[i] == '7') {
      flag = true;
      break;
    }
  }
  
  if (flag) {
    cout << "Yes" << endl;
  }
   else {
     cout << "No" << endl;
   }
}