#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  cin >> n;
  x=n%10;
  y=n%100;
  z=n%1000;
  if(x==7) {
    cout << "Yes" << endl;}
  else if(y>=70 && y<80) {
    cout << "Yes" << endl;}
  else if(z>=700 && z<800) {
    cout << "Yes" << endl;}
  else {
    cout << "No" << endl;}
  return 0;
  }
    
    
  
