#include <stdio.h>
int main(void)
{
    int  n;
  scanf("%d", &n);
    
 if(n/100==7){
   if((n/10)%10==7){
     if(n%10==7){
  printf("Yes");
     }
     else
  printf("No");
   }
   else
  printf("No");
 }
  else
  printf("No");
  
return 0;
}