10131x3 ) ( 4382 .)