結果 : python string add leading zeros