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

int main() {
  int N;
  cin >> N;
  bool is_lucky = false;
  if(N%10 == 7) is_lucky = true;
  if(N/100 == 7) is_lucky = true;
  if(N/10 - (N/100)*10 == 7) is_lucky = true;
  if(is_lucky) cout << "Yes" << endl;
  else cout << "No" << endl;
}
