Genotyping of mice.