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

int main() {
  int N;
  cin >> N;
  bool seven = false;
  while(N > 0){
    if(N % 10 == 7){
      seven = true;
      break;
    }
    N /= 10;
  }
  
  if(seven){
    cout << "Yes" << endl;
  }
  else{
    cout << "No" << endl;
  }
}
