9995 pounds and 7 ounces = 713.9598 stones