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