#include<iostream>

int main()
{
  int N;
  cin >> N;
  
  if(N%10 == 7)
  {
    cout << "Yes";
    return 0;
  }
  N /=10;
  if(N%10 == 7)
  {
    cout << "Yes";
    return 0;
  }
  N /=10;
  if(N%10 == 7)
  {
    cout << "Yes";
    return 0;
  }
  
  cout << "No";
  return 0;
  
}