結果 : trim leading zeros from string python