#include <stdio.h>
int main(void){
  int a, b, c;
  char buf[100];
  fgets(buf, sizeof(buf), stdin);
  sscanf(buf, "%c%c%c", &a, &b, &c);
  if (a==7 || b==7 || c==7){
    printf("Yes");
  }
  else{
    printf("No");
  }
  return 0;
}