#include <bits/stdc++.h>
using namespace std;
 
int main() {
  int N;
  cin >> N;
  int w = N / 100;
  int e = (N - w * 100) / 10;
  int r = (N - w * 100 - e * 10);
  if(w == 7) {
    cout << "Yes" << endl;
  }
  else if(e == 7) {
    cout << "Yes" << endl;
  }
  else if(r == 7) {
    cout << "Yes" << endl;
  }
  else {
    cout << " No" << endl;
  }
}