( 13 , 864 .)