( 13 , 863 .)