5243 x 2 .)