#include <bits/stdc++.h>
using namespace std;


int main() {
  vector<char> N(3);

  for(int i=0;i<3;i++){
      cin >> N.at(i);
  }
  

  for(int i=0;i<3;i++){
    if(N.at(i)=='7'){
        cout << "Yes" << endl;
        break;
    }
    if(i==2){
        cout << "No" << endl;
    }
  }
}

  
