3867x4 ) ( 1947 .)