#include<stdio.h>

int main(void){
  int N;
  do{
 	 scanf("%d",&N);
  }while(N <=100 || N >= 999);
  
  int a = 0;
  int b = 0;
  int c = 0;
 
 while(N >= 100){
   N -= 100;
   a++;
 }
  while(N >= 10){
    N -= 10;
    b++;
  }
  while(N >= 0){
    N -= 1;
    c++;
  }
  
  if(a == 7 || b == 7 || c == 7){
    printf("Yes");
  }else{
    printf("No");
  }
}
  
        
  
  