23172 , 3 .)