( 42 ; 014 .)