( 12 , 422 .)