#include <stdio.h>

int main() {
    printf("0%o 0X%X",1234,1234);
    return 0;
}