9.39 pounds = 4.259232 kg