#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
using ll = long long;
using namespace std;

int main(){
  string N; 
  cin >> N;

  bool c = false;
  for(int i=0;i<N.length();i++){
    if(N.at(i) == '7'){
      c = true;
      break;
    } 
  }

  if(c){  
    cout << "Yes" << endl;
  } else {
    cout << "No" << endl;
  }


  return 0;
}