#include <stdio.h>
int main(void)
{
    printf("1234+4321 = %d",1234+4321);
    return 0;
}