7271 pounds and 9 ounces = 519.3973 stones