結果 : python string formatting leading zeros