#include <stdio.h>
#define UNITO 1234 ## 5678
int main (void)
{
  printf ("%i\n", UNITO);
  return 0;
}