#include <bits/stdc++.h>
using namespace std;
int main() {
  vector<char> N(3);
  for (int i = 0;i < 3;i++) {
    cin >> N.at(i);
  }
  if(N.at(0)=='7'||N.at(1)=='7'||N.at(2)=='7') {
    cout << "Yes" << endl;
  }
  else {
    cout << "No" << endl;
  }
}
