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



