( 20 , 863 .)