23142 , 3 .)