( 16 , 801 .)