71.95 kg = 158 pounds and 9.96 ounces