( 12 , 147 .)