#include<iostream>
#include<string>
using namespace std;


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

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

  cout << "No";
 return 0;
}