#include<stdio.h>
#include<stdlib.h>
#include<math.h>

void main(void)
{
  char str[4];
  scanf("%s",str);
  if((str[0]=='7')||(str[1]=='7')||(str[2]=='7')){
    printf("Yes");
  }else{
    printf("No");
  }

}