De kända siffrorna äro: