printf（"%d，%o，%x"，0x12，12，012）；的输出结果是（）