#include <stdio.h>

int main(){
  int n,flag=0;
  scanf("%d",&n);
  if(n/100==7){
    flag++;
  }
  n-=n/100*100;
  if(n/100==7){
    flag++;
  }
  n-=n/10*10;
  if(n/10==7){
    flag++;
  }
  if(flag==0){
    printf("No\n");
  }else{
    printf("Yes\n");
  }
  return 0;
}
