( 3 , 9 proc .)