9187 x 1 ) ( 5131 .)