結果 : python format hex string leading zeros