我想用format函数实现这样一个功能:用户输入一个数字,如果不足5位,那么输出的时候自动在前面补足够的'0'。比如:用户输入 ‘23’,那么输出的时候就是‘00023’,怎么实现呢?