13039X3 ) ( 1 , 873 .)