printf("%.8x", a) 好像是这样