10232 x 2 ; ( 6137 .)