( 13 , 862 .)