#include <stdio.h>

int main() {
  int n;
  scanf("%d", &n);

  // get digits
  int u = n % 10;
  int t = (n / 10) % 10;
  int h = n / 100;

  if (h == 7 || t == 7 || u == 7)
    printf("Yes\n");
  else
    printf("No\n");
  
  return 0;
}