#include <cstdlib>
#include <iostream>
#include <string>
#include <vector>
using namespace std;
typedef long long LL;

int main() {
  bool yes = false;
  for (int i = 0; i < 3; ++i) {
    char c; cin >> c;
    if (c == '7') yes = true;
  }
  if (yes) cout << "Yes" << endl;
  else     cout << "No" << endl;
}
