#include<iostream.h>
#include<conio.h>
int main()
{
  int num,rem;
  cin>>num;
  if(num>=100&&num<=999)
  {
    for(int i=0;i<3;i++)
    {
      rem=num%10;
      if(rem==7)
      {
        cout<<"Yes";
      num=num/10;
      }
    }  