( 12 ; 940 .)