5257 x 2 .)