9227 pounds and 15 ounces = 4185.722 kg