#include <bits/stdc++.h>

using namespace std;

void solve()
{
  int n;
  cin >> n;
  int f = 0;
  while (n)
  {
    if (n % 10 == 7)
    {
      cout << "Yes\n";
      return;
    }
    n = n / 10;
  }
  cout << "No\n";
}

int main()
{
  solve();
  return 0;
}
