( 4 , 12 .)