10239 x 5 ) 1 ( 5138 .)