#include <stdio.h>

int main(void)
{
  int N;
  int a,b,c;

  scanf("%d", &N);
  a = N/100;
  b = (N-100*a)/10;
  c = N-100*a-10*b;
  if (a == 7){
    printf("Yes\n");
  } else {
    if (b == 7){
      printf("Yes\n");
    } else {
      if (c == 7){
	printf("Yes\n");
      } else {
	printf("No\n");
      }
    }
  }

  return 0;
}