9257 pounds and 15 ounces = 4199.3298 kg