10232 x 2 ) ( 6137 .)