/* p10.c */

#include <stdio.h>

int main()
{

   int older;         // value before that
   int old;           // previous value
   int value;         // current value
   int howmany;       // howmany values were read
   int found = 0;     // found target


   howmany = fscanf(stdin, "%d", &older);
   howmany = fscanf(stdin, "%d", &old);
   howmany = fscanf(stdin, "%d", &value);

   while (howmany == 1)
   {
      if ((older == 13) &&
          (old   == 14) &&
          (value == 15))
      {
         found = 1;
      }

      older = old;
      old = value;
      howmany = fscanf(stdin, "%d", &value);
   }

   if (found)
      fprintf(stdout, "yes\n");
   else
      fprintf(stdout, "no\n");
   return(0);

}