#include <bits/stdc++.h>
using namespace std;
int main(){
  int N;
  cin >> N;
  bool j;
  j = 0;
  for (int i=0; i< 3; i++){
    if (N % 10 == 7) {
      j = 1;
    }
    N /= 10;
  }
  if (j == 1){
    cout << "Yes" << endl;
  }
  else{
    cout << "No" << endl;
  }
}
