( 13 , 873 .)