#include <bits/stdc++.h>
using std::cin;
using std::cout;
using std::endl;
using std::string;
int main() {
  string a;
  bool flg = false;
  cin >> a;
  for (int i = 0; i < 3; i++) {
    if (a.substr(i, 1) == "7") flg = true;
  }
  if (flg)
    cout << "Yes" << endl;
  else
    cout << "No" << endl;
}
