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

int main() {
  string N;
  cin >> N;
  bool B = false;
  for (int i = 0; i < (int)(N.length()); i++){
    if (N.at(i) == '7')
      B = true;
  }
       if (B)
       cout << "Yes";
       else 
       cout << "No";
  cout << endl;
  
}

