( 15 , 863 .)