#include <iostream>
#include <cstdio>
using namespace std;

int main() {
    int i = 0xABCDEF;
    printf("%15d",i);
}
// 64 位输出请用 printf("%lld")