23094X2 ) ( 7 , 872 .)