6254 x 2 .)