9985 pounds and 13 ounces = 713.2723 stones