#include <stdio.h>
 
 
 
int main(void){
  char N[4];
  scanf("%s", N);
 
  
  if(N[0]=='7'||N[1]=='7'||N[2]=='7'){
      printf("Yes\n");
        
      }
  else{
        printf("No\n");
  }
 
  return 0;
}
 
 
 