: [ 10423 .]