#include <stdio.h>

int main()
{
  char s[3];
  
  scanf("%s",s);
  
  int i;
  for(i=0;i<3;i++)
  {
    if(s[i]=='7')
    {
      printf("Yes\n");
      return 0;
    }
  }
  
  printf("No\n");
 
  return 0;
}