#include<stdio.h>

int main(void){
  char str[3];
  int i;
  scanf("%s",str);
  for(i = 0;i < 3;i++){
    if(str[i] == 7){
      printf("Yes");
      break;
    }
  }
  if(i == 3){
    printf("No");
  }
  return 0;
}
