#include<stdio.h>

int main(){

  int n;
  int k=100;
  scanf("%d",&n);
  
  for(int i=0;i<3;i++){
    if(n/k==7){
      printf("Yes");
      return 0;
    }
    n=n-(n/k)*k
    k=k/10;
  }
  
  printf("No");
  return 0;
}
         
      
    