' ( 001943 .)