#include <iostream>
#include <string>
#include <vector>
#include <algorithm>

using namespace std;

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

  if (N.find("7") == -1) cout << "No" << endl;
  else cout << "Yes" << endl;
}