#include<stdio.h>
#include<string.h>
int main()
{
  int   x,cnt=0;
  scanf("%d",&x);
  int arr[3];
  arr[0]=x/100;
  arr[1]=x%10;
   int temp=x/10;
  arr[2]=temp%10;
  for(int i=0;i<3;i++)
  {
      if(arr[i]==7)
       cnt++;
  }
if(cnt>=1)
    printf("Yes");
else
    printf("No");



    return 0;
}
