( 9 , 873 .)