( 12 , 134 .)