10017 pounds and 7 ounces = 715.5313 stones