( 31 , 863 .)