Total body fat content in a group of professional football players.