#include <stdio.h>
#include <math.h>
#include <stdlib.h>
int main(void){
  char S[4];
  int i;
  scanf("%s",S);
  for(i=0;i<3;i++){
    if(S[i]=='7'){
      printf("Yes\n");
      return 0;
    }
  }
  printf("No\n");
  return 0;
}