( 12 , 213 .)