#include <stdio.h>

int main(void)
{
  char n[10];
  int i;

  i = 0;
  fgets(n, 10, stdin);
  while (n[i])
  {
    if (n[i] == '7')
    {
      puts("Yes");
      return (0);
    }
    i++;
  }
  puts("No");
  return (0);
}