#include <stdio.h>

int main (){
  int N;
  int div;
  scanf("%d",&N);
  while(1){
	if(7 == N%10){
      printf("Yes");
      return 0;
    }
    N = N/10;
    if(N<=0){
	  printf("NO");
      return 0;
    }
  }
}