how much would a 80.0kg