#include <iostream>
#include <bits/stdc++.h>
using namespace std;

int main() 
{
  int n;
  cin >> n;
  int flag =0;
  int i =2,k =100;
  while(n>0 )
  {
      int digit = n/k;
      if(digit  == 7 )
        {   flag = 1;
            break;
        }
      n = n%k;
      i--;
      k = k/10;

  }
if( flag == 1)
{
    cout << "Yes";
}  
else cout << "No";

}
