#include <stdio.h>

int main(void){
int n,i;
  int t=0;
  scanf("%d", &n);
  i=n/100;
  if(i==7){
  t++;
  }
  n=n-(i*100);
  i=n/10;
  if(i==7){
  t++;
  }
  n=n-(10*i);
  if(n==7){
  t++;
  }
  if(t==0){
  printf("No\n");
  }
  else{
  printf("Yes\n");
  }
  return 0;
}