#include<iostream>
using namespace std;

int main(){
  string N;
  cin >> N;
  for(int i=0;i<N.size();i++){
    if(N.at(i)=='7'){
      cout << "Yes" << endl;
      break;
    }
    if(i==N.size()){
      cout << "No" << endl;
    }
  }
}
