11942 x 4 .)