#include<stdio.h>
int main(void){
  int n;
  
  scanf("%d", &n);
  if (N % 10 == 7 || (N % 100 >= 70 || N % 100 <= 79) ||
     (N % 1000 >= 700 || N % 1000 <= 799))
    printf("Yes");
  else
    printf("No");
  return 0;
}