( 12 ) 6 .)