9985 pounds and 7 ounces = 713.2455 stones