01940 , 3 .)