#include<stdio.h>
void main(void)
{
  int n;
  int n1,n2,n3;
  scanf("%d",&n);
  n1=n%10;
  n=n/10;
  n2=n%10;
  n=n/10;
  n3=n%10;
  if(n1==7||n2==7||n3==7)
    printf("Yes");
  else
    printf("No");
}