( 13 , 858 .)