#include <stdio.h>

int a;
//int b = 10;
int b = 0x12345678;

main()
{
  //  int c = 1;
  int c = 0x76543212;
  a = b;
  printf("%d\n", a+b+c);
}