#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
using ll = long long;
using P = pair<int, int>;

string n;
bool temp;

int main() {
  cin >> n;
  temp = false;
  rep (i, 3) {
  temp = temp || n.at(i) == '7';
  }
  if (temp) {
    cout << "Yes" << endl;
  }else{
    cout << "No" << endl;
  }
  return 0;
}
