#import <Foundation/Foundation.h>
#import <stdio.h>

int main(int argc, char **argv) {
  int N;
  
  scanf("%d", &N);
  
  BOOL hasSeven = NO;

  while (N > 0) {
    if (N % 10 == 7) {
      hasSeven = YES;
      break;
    }
    N /= 10;
  }
  printf("%s", hasSeven ? "Yes" : "No");
  return 0;
}