问一个数字格式化问题

我不知道有没有这样的函数。但是你可以先判断这个数的大小，在1和9之间，前面加3个零。
在10和99之间，前面加2个零。
在100和999之间，前面加1个零。
在1000和9999之间，前面不加零。这个方法很笨，但是一定行。