結果 : strip leading zeros from string python