4257 kg = 9385.078501 pounds