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

int main(){
  int x, flag, d;
  scanf("%d", &x);
  flag = 0;
  d = x / 100;
  if(d == 7)flag = 1;
  d= (x % 100) / 10;
  if(d == 7)flag = 1;
  d = x % 10;
  if(d == 7)flag = 1;

  if(flag == 1){
    printf("Yes\n");
  }else{
    printf("No\n");
  }

  return 0;
}