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

int main() {
  int N;
  cin >> N;

  bool ans = false;

  int a, b, c;
  a = N % 10;
  b = N /10 % 10;
  c = N /100;

  if (a == 7 || b == 7 || c == 7) ans = true;
  
  if (ans) cout << "Yes" << endl;
  else cout << "No" << endl;
}
