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