Genetic analysis of mice strains with variable serum sodium concentrations identifies the Nalcn sodium channel as a novel player in osmoregulation