#include <stdio.h>

int main (int argc, char **argv, char **envp)
{
  return (14) ;
}