#include <bits/stdc++.h>
using namespace std;
 
int main() {
 int N,a=0,M,j=0;
 cin >> N;
  M=N;
  for(int i=0;i<3;i++)
  {
    while(j<i){
     j++;
     M=M/10;
    }
   M=M%10;
  if(M==7){
    a=1;
    break;
  }
  M=N;
  j=0;
  }
  if(a==1)
    cout << "Yes" << endl;
  else
    cout << "No" << endl;
}