#include <stdio.h>
int main()
{
#include <stdio.h>


		int i = 0xABCDEF;
		printf("%15d\n", i);
		return 0;
}



//在%和格式字符之间插入一个整型常数来指定输出的宽度n。