#include<stdio.h>
#include<string.h>
int main()
{
  char str[100];
  char *flag;
  scanf("%s", str);

  flag = strchr(str, (int)'7');

  if(flag != NULL)
  {
    printf("Yes\n");
  }

  else
  {
    printf("No\n");
  }

  return 0;
}
