13 ( 16 , 873 .)