用c语言如何在数字前自动补0

一：

#include <stdio.h>
int main()
{ long a=3,b=4,c=15;
printf("......."a,b,c);
return 0;
}
现在我想要这个程序运行出来的结果是：
03：04：15

二：

printf("a=%06d\n", a);

//输出6位十进制整数 左边补0，显示 a=001234