4233 x 4 .)