( 23 , 873 .)