#include<stdio.h>
#include<stdlib.h>
#include <string.h>

int main(void){
  char N[3];

scanf("%s", &N);

if(N[0] == '7'){
    printf("Yes");
}else if(N[1] == '7'){
    printf("Yes");
}else if(N[2] == '7'){
    printf("Yes");
}else{
    printf("No");
}
  
  //printf("%d\n", count);
  return 0;
}
