( 11 , 873 .)