domar äro 8,415 till antalet.