( 9 , G12 .)