#include<stdio.h>                                                 
                                                                  
int main(void){                                                   
   int N;                                                         
   scanf("%d",&N);                                                
                                                                  
   if(N / 100 == 7 || (N/10)%10 == 7 || N % 10 == 7){             
      printf("Yes");                                              
   } else {                                                       
      printf("No");                                               
   }                                                              
   return 0;                                                      
} 