23 The sons of Mushi: Mahli, Eder and Jerimoth—three in all.