9442X4 ) ( 5641 .)