( 3 ; 312)