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

int main() {
  int N, A, B, C;
  cin >> N;
  A = N / 100;
  B = (N % 100) / 10;
  C = N % 10;
  if (A == 7 || B == 7 || C == 7) cout << "Yes" << endl;
  else cout << "No" << endl;
}