#include <stdio.h>
int main(void)
{
  int num,i, flag=0;
  scanf("%d", &num);
  for(i=0;i<3;i++) {
    if(num%10==7)
      flag=1;
    num=num/10;
  }
  if(flag==1)
    puts("Yes");
  else
    puts("No");
  return 0;
}