( 134 12 .)