Alla dessa siffror äro,