#include<stdio.h>

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