int a= 5;
printf("%02d",a)

//输出“05”