The following information is available about the body fluid volumes of a normal male: total body water, 40 liters; intracellular water, 25 liters; plasma water, 4 liters. The volume of the interstitial water is?