#include <stdio.h>

int main(){
  int n,m;
  scanf("%d", &n);
  m = n % 100;
  
  if((n-m)/100 == 7) printf("Yes");
  else if(m%10 == 7) printf("Yes");
  else if((m-(m%10))/10 ==7) printf("Yes");
  else printf("No");
  
  return 0;
}