( 17 , 801 .)