#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  string verdict = "No\n";
  for (auto c: s) {
    if (c == '7') verdict = "Yes\n";
  }
  cout << verdict << '\n';
  return 0;
}