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



int main() {
  
  int N,i=0;
  cin >> N;
  
  i = count(N.begin(),N.end(),'7');
  
  if(i != 0){
    cout << "Yes" << endl;
  }else{
    cout << "No" << endl;
  }
  

}
