( 17 , 872 .)