#include<iostream>

using namespace std;

int main()
{
  string N;
  char c[1];
  int n;
  cin >> N;
  for(int i = 0 ; i < 3 ; i++)
  {
    c[0] = N[i];
    n = atoi(c);
    if( n == 7 )
    {
        cout << "Yes";
        break;
    }
    else if( n!= 7 && i==2)
      cout <<"No";
  }
  return 0;
}