#include <algorithm>
#include <iostream>
#include <string>
using namespace std;

#define rep(i, n) for (int i = 0; i < (int)(n); i++)

int main() {
  string N;
  cin >> N;
  bool ans = false;
  rep(i, 3) {
    if (N[i] == '7') {
      ans = true;
    }
  }
  if (ans == true)
    cout << "Yes" << endl;
  else
    cout << "No" << endl;
}
