10876x2 ) ( 6141 .)