#include<stdio.h>

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