#include<stdio.h>

int main(void){
  int n;
  int N[3];
  int i;
  
  scanf("%d",&n);

  N[0] = n/100;
  n = n - N[0]*100;
  N[1] = n/10;
  n = n - N[1]*10;
  N[2] = n;
  
  i = 0;
  while(i<3){
    if(N[i] == 7){
      puts("Yes");
      break;
    }
    else if(i == 2){
      puts("No");
    }
    i++;
  }
  
  return 0;
}