( 40 , 872 .)