#include <stdio.h>

int main(){
  int N,flag=0;
  scanf("%d",N);

  if(N/100==7){
    flag = 1;
    if((N-N/100*100)/10==7){
      flag = 1;
      if((N-N/10*10)==7){
        flag = 1;
      }
    }
  }

  if(flag==1){
    printf("Yes");
  }
  else{
    printf("No");
  }
  return 0;
}
