#include<stdio.h>

int main(void){
  int truss1,truss2,truss3;
  int kazu1,kazu2;
  int n;
  
  printf("3桁の数を入力してください");
  scanf("%d \n",n);
  
  truss1 = n / 100;
  kazu1 = n % 100;
  
  truss2 = kazu1 / 10;
  kazu2 = kazu1 % 10;
  
  truss3 = kazu2;
  
  if(truss1 !=7 &&truss2 != 7&&truss3 != 7)
    printf("No");
  else
    printf("Yes");
  
  return 0;
}