#include <stdio.h>
char check(int N);
int main(void){
  int N;
  scanf("%d", &N);
  if(N < 100 || N > 999){
    return 1;
  }
  printf("%s",check(N));
  return 0;
}
char check(int N){
  int a,b,c;
  a = N / 100;
  b = (N-(a*100))/10;
  c = N-a*100-b*10;
  if(a == 7){
    return "Yes";
  }
  if(b == 7){
    return "Yes";
  }
  if(c == 7){
    return "Yes";
  }
  return "No";
}
