#include <stdio.h>

int main(void){
  int i,j;
  scanf("%d",&i);
   
  int a,b,c;
  
  a=i%10;
  b=i%100;
  c=i/100;
  
  if(a==7){
    j++;
  } else if(70<=b && b<80){
   j++;
  } else if(c==7){
    j++;
  } 
 
  if(j==1){
    printf("Yes\n");
  } else{
    printf("No\n");
  }

  return 0;
}