#include <stdio.h>

int checker(int firstvalue);
int main()
{
  int firstvalue, flag=0;
  if (fscanf(stdin, "%d", &firstvalue)!=EOF)
    flag = checker(firstvalue);
  if (flag)
    printf("yes");
  else
    printf("no");
  return 0;
}

int checker(int second)
{
  int first;
  if (fscanf(stdin, "%d", &first)!=EOF)
    {
      if (second==7 && first==11)
   return 1;
      else
   return(checker(first));
    }
  else
    return 0;
}