#include <stdio.h>

int
main ()
{
  printf ("%d\n", 0400);
  return 0;
} // main