#include <bits/stdc++.h>
#define r(i,n) for(int i = 0; i<n; i++)
typedef long long ll;
using namespace std;
const ll mod=1000000007;

int main() {
  int n;
  cin >> n;
  if(n/100==7)cout<<"Yes"<<endl;
  else {
    n%=100;
    if(n/10==7)cout<<"Yes"<<endl;
    else {
      n%=10;
      if(n==7)cout<<"Yes"<<endl;
      else cout<<"No"<<endl;
    }
  }
}