17142 ) ( 3801 .)