( 12 , 157 .)