71.8 kg = 158 pounds and 4.67 ounces