python数字前自动补零

>>> '%d' % 23   #输出23
'23'
>>> '%5d' % 23   #输出的数字前有3个空位，共占5个字符
'   23'
>>> '%05d' % 23  #输出的数字前的空位以0补充，共占5个空位
'00023'