When an 80.0 kg man