( 31 , 801 .)