#include <iostream>
#include <bits/stdc++.h>
using namespace std;
int main()
{
  string n;
  char t;
  int j=0;
  cin >> n;
  for(int i=0;i < 3;i++)
  {
    t=n.at(i);
    if(t=='7')
    {
      cout << "Yes";
      j=1;
      break;
    }
  }
  if(j==0)
  {
    cout << "No";
  }
  return 0;
}