10239 x 5 ) ( 5138 .)