#include<stdio.h>

int main(void){
  int n;
  int flag = 0;
  scanf("%d",&n);
  for(int i=0;i<3;i++){
    if(n % 10 == 7)
      flag++;
    n /= 10;
  }
  if(flag)
    printf("Yes");
  else
    printf("No");
  
  return 0;
}
