( 19 , 212 .)