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