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