#include<stdio.h>

int main(void){
  int N,t;
  t=0;
  scanf("%d", &N);
  if (N % 10 == 7)
    t=1;
  if (N/10%10 == 7)
    t=1;
  if (N/100%10 == 7)
    t=1;
  if(t == 1)
    printf("Yes");
  else
    printf("No");
  return 0;
}