#include<stdio.h>
int main(){
  int N;
  scanf("%d",&N);
  
  if (N%10==7)printf("Yes");
  else if ((N/10)%10==7)printf("Yes");
  else if((N/100)%10==7)printf("Yes");
  
  else printf("No");
  
  return;
 
}
