#include <stdio.h>

int main(void)
{
  int n;
  int a, b, c;
  
  scanf("%d", &n);
  
  a = n / 100; // aは百の位
  n = n % 100;
  b = n / 10; // bは十の位
  c = n % 10; // cは一の位
  
  if(a == 7 || b == 7 || c == 7) {
    printf("Yes");
  } else {
    printf("No");
  }
  
  return 0;
}