結果 : python string trim leading zeros