23712 ; [ 8725]