10015 pounds and 7 ounces = 715.3884 stones