#include<stdio.h>

int main(){
    int a=0XABCDEF;
    printf("%15d",a);
    return 0;  // printf可以使用使用格式控制串“%md”输出域宽为m的十进制整数。
}