// -----------------------------------
// Author     : MatsuTaku
// Country    : Japan
// Created    : 04/12/20 20:48:37
// -----------------------------------

#include <bits/stdc++.h>

using namespace std;
using ll = long long;

int main() {
  cin.tie(nullptr); ios::sync_with_stdio(false);

  string s; cin>>s;
  bool ok = false;
  for (auto c:s)
    if(c=='7')
      ok = true;
    
  cout << (ok ? "Yes" : "No") << endl;

  return 0;
}
