#include <iostream>
#include <vector>
#include <string>
#include <stdlib.h>
#include <cmath>
#include <algorithm>
#include <numeric>
#include <climits>
#include <iomanip>
#include <deque>
#include <limits>

using namespace std;

const int CONSUMPTION_TAX = 0.1;

int main()
{
  string N;

  cin >> N;

  for (int i = 0; i < 3; i++) {
    if (N[i] == '7') {
      cout << "Yes";
      return 0;
    }
  }

  cout << "No";

  return 0;
}
