( 7 , 12 .)