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

int main() {
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
  int N;
  cin>>N;
  int a,b,c;
    a=N%10;
    b=((N-a)/10)%10;
    c=(N-10*b-a)/100;
  //cout<<a<<b<<c;
  if(a!=7&&b!=7&&c!=7)
    cout<<"No";
  else
    cout<<"Yes";
}