11942 X 4 .)