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