結果 : string add leading zeros python