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

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

  int count = 7;
  for (int i = 0; i < str.size(); i++) {
    if (str.at(i) == '7') {
      count++;
       cout << "Yes" << endl;
    break;
      
      for (int i = 0; i < str.size(); i++) {
    if (str.at(i) != '7') {
      count++;
       cout << "No" << endl;
    break;
      
    }
      }
    }
  }
}