( 13 , 865 .)