5212 x 1 .)