23872X2 ) r [ 8440]