#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; 
}
