11943 x 4 .)