10233 , 3 .)