#include <stdio.h>
int main(void){
  char a, b, c;
  char buf;
  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;
}