( 11 , 872 .)