' ( 01943 .)