9143 x 1 .)