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

 
int main() {
  vector<char> a(3);
  int f=0;
  for(int i=0;i<3;i++){
    cin >> a.at(i);
    if(a.at(i)=='7')
      f=1;
  }
  if(f=0){
    cout << "No" << endl;
  }else{
    cout << "Yes" << endl;
  }
  
}
