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