#include <stdio.h>
#include <stdlib.h>
int main(void){
  char N[3];
  for(int i=0; i<3; i++){
    scanf("%c", &N[i]); 
  }
  if(atoi(&N[0])==7||atoi(&N[1])==7||atoi(&N[2])==7){
    puts("Yes");
  }else{
    puts("No");
  }
}