#include <iostream>

using namespace std;

int main()
{
  int n,a[3],i;
  cin >> n;
  for(i=0;i<3;i++)
  {
   a[i]=n%10;
   n=n/10;
  }
  if(a[0]==7 || a[1]==7 || a[2]==7) cout << "Yes" << endl;
  else  cout << "No" << endl;
  return 0;
}
  

