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

int main()
{
  int n;
  bool check=false;
  cin >> n;
  while (n>0)
  {
    if (n%10==7)
    {
      check=true;
      break;
    }
    n/=10;
  }
  if (check) cout << "Yes";
  else cout << "No";
}
