( 6 , 863 .)