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

int main(){

  char data[3];
  for(int i=0; i<3; i++){
  cin >> data.at(i);
  }
  
  if(data.at(1)=='7'|data.at(2)=='7'|data.at(3)=='7'){
  cout << "Yes";
  }
  else{
  cout << "No";
  }
}