将前导零添加到Python程序字符串