Plasma potassium during exercise.