9973 pounds and 7 ounces = 712.3884 stones