#include <iostream>

using namespace std;

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