( 42 , 801 .)