結果 : trim leading zeros in string python